Oppostie: Algorithmic Term Rewriting Systems

V. van Oostrom

Research output: Other contributionOther research output

Original languageUndefined/Unknown
Place of PublicationAmsterdam
Publication statusPublished - 25 Mar 2010

Cite this