| Original language | Undefined/Unknown |
|---|---|
| Journal | Mathematical Structures in Computer Science |
| Volume | 17 |
| Issue number | 3 |
| Publication status | Published - 2007 |
A Duality Between Proof Systems for Cyclic Term Graphs
C.A. Grabmayer
Research output: Contribution to journal › Article › Academic › peer-review