Fingerprint
Dive into the research topics of 'A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs
C.A. Grabmayer
Research output: Contribution to Journal › Article › Academic › peer-review