Bisimilarity in Term Graph Rewriting

Zena M. Ariola, Jan Willem Klop, Detlef Plump

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)2-24
Number of pages23
JournalInformation and Computation
Volume156
Issue number1/2
DOIs
Publication statusPublished - 2000

Cite this