Login | Register

Items where Author is "Steele, Adam"

Group by: Item Type | No Grouping
Number of items: 1.

Steele, Adam (1989) Simplifying the Knuth-Bendix completion procedure for equational systems. Masters thesis, Concordia University.

This list was generated on Thu Sep 18 03:11:54 2025 EDT.
Back to top Back to top