{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T02:32:10Z","timestamp":1649212330176},"reference-count":9,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2010,5,27]],"date-time":"2010-05-27T00:00:00Z","timestamp":1274918400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2010,8]]},"abstract":"<jats:p>The work reported in this paper refers to Massey's proof of the surface classification theorem based on the standard word-rewriting treatment of surfaces. We arrange this approach into a formal rewriting system<jats:private-char><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" mimetype=\"image\" xlink:type=\"simple\" xlink:href=\"S0960129510000101_char1\" \/><\/jats:private-char>and provide a new version of Massey's argument. Moreover, we study the computational properties of two subsystems of<jats:private-char><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" mimetype=\"image\" xlink:type=\"simple\" xlink:href=\"S0960129510000101_char1\" \/><\/jats:private-char>:<jats:private-char><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" mimetype=\"image\" xlink:type=\"simple\" xlink:href=\"S0960129510000101_char1\" \/><\/jats:private-char><jats:sub>or<\/jats:sub>for dealing with words denoting orientable surfaces and<jats:private-char><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" mimetype=\"image\" xlink:type=\"simple\" xlink:href=\"S0960129510000101_char1\" \/><\/jats:private-char><jats:sub>nor<\/jats:sub>for dealing with words denoting non-orientable surfaces. We show how such properties induce an alternative proof for the surface classification in which the basic homeomorphism between the connected sum of three projective planes and the connected sum of a torus with a projective plane is not required.<\/jats:p>","DOI":"10.1017\/s0960129510000101","type":"journal-article","created":{"date-parts":[[2010,5,27]],"date-time":"2010-05-27T12:46:43Z","timestamp":1274964403000},"page":"577-588","source":"Crossref","is-referenced-by-count":0,"title":["Rewriting systems for the surface classification theorem"],"prefix":"10.1017","volume":"20","author":[{"given":"GABRIELE","family":"PULCINI","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2010,5,27]]},"reference":[{"key":"S0960129510000101_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/11538363_14"},{"key":"S0960129510000101_ref3","unstructured":"Girard J.-Y. (1989) Proofs and Types, Cambridge Tracts in Theoretical Computer Science 7."},{"key":"S0960129510000101_ref5","doi-asserted-by":"publisher","DOI":"10.1017\/S096012950100336X"},{"key":"S0960129510000101_ref8","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500003285"},{"key":"S0960129510000101_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129503004092"},{"key":"S0960129510000101_ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4939-9063-4","volume-title":"A basic course in algebraic topology","author":"Massey","year":"1991"},{"key":"S0960129510000101_ref4","first-page":"1","volume-title":"London Mathematical Society Lecture Note Series","author":"Girard","year":"1995"},{"key":"S0960129510000101_ref7","volume-title":"London Mathematical Society Lecture Notes Series","author":"Melli\u00e8s","year":"2004"},{"key":"S0960129510000101_ref9","doi-asserted-by":"publisher","DOI":"10.1002\/ima.20186"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129510000101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,5]],"date-time":"2020-06-05T03:29:43Z","timestamp":1591327783000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129510000101\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,27]]},"references-count":9,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["S0960129510000101"],"URL":"https:\/\/doi.org\/10.1017\/s0960129510000101","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,27]]}}}