Login / Signup
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs.
Clemens Grabmayer
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
distributed systems
equivalence relation
complex systems
learning algorithm
management system
theorem proving
graph databases