Generalizing recursive path orderings for AC rewriting systems

Författare
Ying Zhang
Språk
Engelska
Förlag År Ort Om boken ISBN
Univ. 1993 Sverige, Umeå 50 sidor.