Graphic Apology for Symmetry and Implicitness

Streams and strings in formal proofs

Theoretical Computer Science - Complexity and logic

Automatic Graphs and Graph D0L-Systems

MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science

Affordance and Symmetry

DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers

Some Applications of the Decidability of DPDA's Equivalence

MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality

Geometry of deduction via graphs of proofs

Logic for concurrency and synchronisation

Automatic graphs and D0L-sequences of finite graphs

Journal of Computer and System Sciences

Reflections on symmetry

Proceedings of the Working Conference on Advanced Visual Interfaces

A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs

Information and Computation