Rewriting systems for the surface classification theorem

DOI10.1017/S0960129510000101zbMath1204.03055MaRDI QIDQ3583022

Gabriele Pulcini

Publication date: 26 August 2010

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

rewriting systemorientable surfacessurface classificationword-rewriting treatment of surfaces

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Unnamed Item
• Implicit exchange in multiplicative proofnets
• Locus Solum: From the rules of logic to the logic of rules
• Two-dimensional proof-structures and the exchange rule

This page was built for publication: Rewriting systems for the surface classification theorem