Login / Signup

Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting.

Jörg EndrullisClemens GrabmayerDimitri HendriksJan Willem KlopVincent van Oostrom
Published in: RTA (2010)
Keyphrases