A Duality Between Proof Systems for Cyclic Term Graphs

C.A. Grabmayer

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
JournalMathematical Structures in Computer Science
Volume17
Issue number3
Publication statusPublished - 2007

Cite this