Original language | English |
---|---|
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 7 |
DOIs | |
Publication status | Published - 1997 |
Event | Fourth Workshop on Expressiveness in Concurrency (EXPRESS 1997) - Santa Margherita Ligure, Italy Duration: 8 Sept 1997 → 12 Sept 1997 |
Confluent Rewriting of Bisimilar Term Graphs
Detlef Plump, Zena M. Ariola, Jan Willem Klop
Research output: Contribution to journal › Article › peer-review