<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10081115> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/dc/terms/title> "CARTOGRAPHER: a Tool for String Diagrammatic Reasoning"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/ontology/bibo/abstract> "We introduce cartographer, a tool for editing and rewriting string diagrams of symmetric monoidal categories. Our approach is principled: the layout exploits the isomorphism between string diagrams and certain cospans of hypergraphs; the implementation of rewriting is based on the soundness and completeness of convex double-pushout rewriting for string diagram rewriting."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/dc/terms/date> "2019-11-22" .
<https://discovery.ucl.ac.uk/id/document/1033509> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/ontology/bibo/volume> "139" .
<https://discovery.ucl.ac.uk/id/org/ext-fb716d0e4677e460329957b7f78b51e8> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-fb716d0e4677e460329957b7f78b51e8> <http://xmlns.com/foaf/0.1/name> "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-fb716d0e4677e460329957b7f78b51e8> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-06bb4a00c6b63a809e438147928e74ff> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10081115#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10081115#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-06bb4a00c6b63a809e438147928e74ff> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-6a2c1fdb2cdb16d374e896a4bd484059> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10081115#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10081115#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-6a2c1fdb2cdb16d374e896a4bd484059> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-2d339388c8e0bfcb6dad0951c804dea8> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10081115#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10081115#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-2d339388c8e0bfcb6dad0951c804dea8> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-cbafeef44598ba790e3de0232564b839> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10081115#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10081115#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-cbafeef44598ba790e3de0232564b839> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-ae2db98c6f2e13ca7afb21b2f0a9054f> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10081115#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10081115#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-ae2db98c6f2e13ca7afb21b2f0a9054f> .
<https://discovery.ucl.ac.uk/id/person/ext-06bb4a00c6b63a809e438147928e74ff> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-06bb4a00c6b63a809e438147928e74ff> <http://xmlns.com/foaf/0.1/givenName> "P"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-06bb4a00c6b63a809e438147928e74ff> <http://xmlns.com/foaf/0.1/familyName> "Sobocinski"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-06bb4a00c6b63a809e438147928e74ff> <http://xmlns.com/foaf/0.1/name> "P Sobocinski"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-2d339388c8e0bfcb6dad0951c804dea8> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-2d339388c8e0bfcb6dad0951c804dea8> <http://xmlns.com/foaf/0.1/givenName> "F"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-2d339388c8e0bfcb6dad0951c804dea8> <http://xmlns.com/foaf/0.1/familyName> "Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-2d339388c8e0bfcb6dad0951c804dea8> <http://xmlns.com/foaf/0.1/name> "F Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-cbafeef44598ba790e3de0232564b839> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-cbafeef44598ba790e3de0232564b839> <http://xmlns.com/foaf/0.1/givenName> "M"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-cbafeef44598ba790e3de0232564b839> <http://xmlns.com/foaf/0.1/familyName> "Roggenbach"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-cbafeef44598ba790e3de0232564b839> <http://xmlns.com/foaf/0.1/name> "M Roggenbach"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ae2db98c6f2e13ca7afb21b2f0a9054f> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-ae2db98c6f2e13ca7afb21b2f0a9054f> <http://xmlns.com/foaf/0.1/givenName> "A"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ae2db98c6f2e13ca7afb21b2f0a9054f> <http://xmlns.com/foaf/0.1/familyName> "Sokolova"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ae2db98c6f2e13ca7afb21b2f0a9054f> <http://xmlns.com/foaf/0.1/name> "A Sokolova"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6a2c1fdb2cdb16d374e896a4bd484059> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-6a2c1fdb2cdb16d374e896a4bd484059> <http://xmlns.com/foaf/0.1/givenName> "P"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6a2c1fdb2cdb16d374e896a4bd484059> <http://xmlns.com/foaf/0.1/familyName> "Wilson"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6a2c1fdb2cdb16d374e896a4bd484059> <http://xmlns.com/foaf/0.1/name> "P Wilson"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/ontology/bibo/presentedAt> <https://discovery.ucl.ac.uk/id/event/ext-38786eca4792a24591db5c7cfef169a1> .
<https://discovery.ucl.ac.uk/id/event/ext-38786eca4792a24591db5c7cfef169a1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Conference> .
<https://discovery.ucl.ac.uk/id/event/ext-38786eca4792a24591db5c7cfef169a1> <http://purl.org/dc/terms/title> "8th Conference on Algebra and Coalgebra in Computer Science (CALCO), 3 to 6 June 2019, London, UK"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033509> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1033509> <http://www.w3.org/2000/01/rdf-schema#label> "CARTOGRAPHER: a Tool for String Diagrammatic Reasoning (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://eprints.org/ontology/hasPublished> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033509> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10081115/1/LIPIcs-CALCO-2019-20.pdf> .
<https://discovery.ucl.ac.uk/id/document/1033509> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10081115/1/LIPIcs-CALCO-2019-20.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10081115/1/LIPIcs-CALCO-2019-20.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "LIPIcs-CALCO-2019-20.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1033510> .
<https://discovery.ucl.ac.uk/id/document/1033510> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1033510> <http://www.w3.org/2000/01/rdf-schema#label> "CARTOGRAPHER: a Tool for String Diagrammatic Reasoning (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1033510> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033510> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033510> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033510> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10081115/2/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1033510> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10081115/2/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10081115/2/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1033511> .
<https://discovery.ucl.ac.uk/id/document/1033511> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1033511> <http://www.w3.org/2000/01/rdf-schema#label> "CARTOGRAPHER: a Tool for String Diagrammatic Reasoning (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1033511> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033511> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033511> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033511> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10081115/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1033511> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10081115/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10081115/3/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1033512> .
<https://discovery.ucl.ac.uk/id/document/1033512> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1033512> <http://www.w3.org/2000/01/rdf-schema#label> "CARTOGRAPHER: a Tool for String Diagrammatic Reasoning (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1033512> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033512> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033512> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033512> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10081115/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1033512> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10081115/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10081115/4/medium.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "medium.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1033513> .
<https://discovery.ucl.ac.uk/id/document/1033513> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1033513> <http://www.w3.org/2000/01/rdf-schema#label> "CARTOGRAPHER: a Tool for String Diagrammatic Reasoning (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1033513> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033513> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033513> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033513> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10081115/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1033513> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10081115/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10081115/5/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1033514> .
<https://discovery.ucl.ac.uk/id/document/1033514> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1033514> <http://www.w3.org/2000/01/rdf-schema#label> "CARTOGRAPHER: a Tool for String Diagrammatic Reasoning (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1033514> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033514> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033514> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1033509> .
<https://discovery.ucl.ac.uk/id/document/1033514> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10081115/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1033514> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10081115/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10081115/6/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081115> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10081115/> .
<https://discovery.ucl.ac.uk/id/eprint/10081115/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10081115 \n\nCARTOGRAPHER: a Tool for String Diagrammatic Reasoning\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10081115/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10081115/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10081115> .