A duality between proof systems for cyclic term graphs

DOI10.1017/S0960129507006111zbMath1126.03037MaRDI QIDQ5308096

Clemens Grabmayer

Publication date: 26 September 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

equational specificationsproof systems for bisimilarity between cyclic term graphs

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Structure of proofs (03F07)

Related Items (1)

On equal \(\mu \)-terms

This page was built for publication: A duality between proof systems for cyclic term graphs