Collapsed Tree Rewriting: Completeness, Confluence, and Modularity

Detlef Plump

Research output: Contribution to conference › Paper

Original languageUndefined/Unknown
Pages97--112
Publication statusPublished - 1993

Cite this