Handsome proof-nets: perfect matchings and cographs
Theoretical Computer Science - Linear logic
Non-commutative logic II: sequent calculus and phase semantics
Mathematical Structures in Computer Science
A system of interaction and structure
ACM Transactions on Computational Logic (TOCL)
A characterization of medial as rewriting rule
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Hi-index | 0.00 |