Rewriting systems for the surface classification theorem

DOI10.1017/S0960129510000101MaRDI QIDQ3583022zbMATH OpenFDO

Authors Gabriele Pulcini

Publication date 26 August 2010

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

Full work available at URL https://doi.org/10.1017/S0960129510000101

zbMATH Keywords

orientable surfacesrewriting systemsurface classificationword-rewriting treatment of surfaces

Mathematics Subject Classification ID

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

Recommendations

• The classification of surfaces via normal curves
• Rewriting systems of Coxeter groups
• Rewriting systems and geometric three-manifolds
• Classification of Surfaces
• A guide to the classification theorem for compact surfaces

Cites work

• scientific article; zbMATH DE number 49719 (Why is no real title available?)
• 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

Cited in

(2)

• scientific article; zbMATH DE number 67429 (Why is no real title available?)
• The classification of surfaces via normal curves

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3583022)