<> <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/10053250> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/dc/terms/title> "Rewriting with Frobenius."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/ontology/bibo/abstract> "Symmetric monoidal categories have become ubiquitous as a formal environment for the analysis of compound systems in a compositional, resource-sensitive manner using the graphical syntax of string diagrams. Recently, reasoning with string diagrams has been implemented concretely via double-pushout (DPO) hypergraph rewriting. The hypergraph representation has the twin advantages of being convenient for mechanisation and of completely absorbing the structural laws of symmetric monoidal categories, leaving just the domain-specific equations explicit in the rewriting system.\r\nIn many applications across different disciplines (linguistics, concurrency, quantum computation, control theory,...) the structural component appears to be richer than just the symmetric monoidal structure, as it includes one or more Frobenius algebras. In this work we develop a DPO rewriting formalism which is able to absorb multiple Frobenius structures, thus sensibly simplifying diagrammatic reasoning in the aforementioned applications. As a proof of concept, we use our formalism to describe an algorithm which computes the reduced form of a diagram of the theory of interacting bialgebras using a simple rewrite strategy."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/dc/terms/date> "2018-07-12" .
<https://discovery.ucl.ac.uk/id/document/707967> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/org/ext-2af1883e4bbfa0356fcedb366171cb38> <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-2af1883e4bbfa0356fcedb366171cb38> <http://xmlns.com/foaf/0.1/name> "ACM"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-2af1883e4bbfa0356fcedb366171cb38> .
<https://discovery.ucl.ac.uk/id/publication/ext-0a26d376accb966c276371a28e04eadc> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://discovery.ucl.ac.uk/id/publication/ext-0a26d376accb966c276371a28e04eadc> <http://xmlns.com/foaf/0.1/name> "LICS"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-0a26d376accb966c276371a28e04eadc> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-ed3c0b243d3138afeb5c286df4d75c83> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10053250#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10053250#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-ed3c0b243d3138afeb5c286df4d75c83> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-d4fbf1c57aba53c7820c75421befed96> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10053250#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10053250#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-d4fbf1c57aba53c7820c75421befed96> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-3aab9d297a04b07f095804227dadf7d1> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10053250#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10053250#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-3aab9d297a04b07f095804227dadf7d1> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-004f2899afcad5d98e09b2cfe69e66f9> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10053250#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10053250#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> <https://discovery.ucl.ac.uk/id/person/ext-004f2899afcad5d98e09b2cfe69e66f9> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-33bad384023143eca44c85aed8087db5> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10053250#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10053250#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_5> <https://discovery.ucl.ac.uk/id/person/ext-33bad384023143eca44c85aed8087db5> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-18d0639c5af7b572b790ea0c9d87a0de> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10053250#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10053250#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-18d0639c5af7b572b790ea0c9d87a0de> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-76ee9cca79bdd0ac2b8531c5877b007e> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10053250#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10053250#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-76ee9cca79bdd0ac2b8531c5877b007e> .
<https://discovery.ucl.ac.uk/id/person/ext-ed3c0b243d3138afeb5c286df4d75c83> <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-ed3c0b243d3138afeb5c286df4d75c83> <http://xmlns.com/foaf/0.1/givenName> "F"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ed3c0b243d3138afeb5c286df4d75c83> <http://xmlns.com/foaf/0.1/familyName> "Bonchi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ed3c0b243d3138afeb5c286df4d75c83> <http://xmlns.com/foaf/0.1/name> "F Bonchi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-d4fbf1c57aba53c7820c75421befed96> <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-d4fbf1c57aba53c7820c75421befed96> <http://xmlns.com/foaf/0.1/givenName> "F"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-d4fbf1c57aba53c7820c75421befed96> <http://xmlns.com/foaf/0.1/familyName> "Gadducci"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-d4fbf1c57aba53c7820c75421befed96> <http://xmlns.com/foaf/0.1/name> "F Gadducci"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-76ee9cca79bdd0ac2b8531c5877b007e> <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-76ee9cca79bdd0ac2b8531c5877b007e> <http://xmlns.com/foaf/0.1/givenName> "E"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-76ee9cca79bdd0ac2b8531c5877b007e> <http://xmlns.com/foaf/0.1/familyName> "Grädel"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-76ee9cca79bdd0ac2b8531c5877b007e> <http://xmlns.com/foaf/0.1/name> "E Grädel"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-33bad384023143eca44c85aed8087db5> <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-33bad384023143eca44c85aed8087db5> <http://xmlns.com/foaf/0.1/givenName> "F"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-33bad384023143eca44c85aed8087db5> <http://xmlns.com/foaf/0.1/familyName> "Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-33bad384023143eca44c85aed8087db5> <http://xmlns.com/foaf/0.1/name> "F Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-18d0639c5af7b572b790ea0c9d87a0de> <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-18d0639c5af7b572b790ea0c9d87a0de> <http://xmlns.com/foaf/0.1/givenName> "A"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-18d0639c5af7b572b790ea0c9d87a0de> <http://xmlns.com/foaf/0.1/familyName> "Dawar"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-18d0639c5af7b572b790ea0c9d87a0de> <http://xmlns.com/foaf/0.1/name> "A Dawar"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-3aab9d297a04b07f095804227dadf7d1> <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-3aab9d297a04b07f095804227dadf7d1> <http://xmlns.com/foaf/0.1/givenName> "A"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-3aab9d297a04b07f095804227dadf7d1> <http://xmlns.com/foaf/0.1/familyName> "Kissinger"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-3aab9d297a04b07f095804227dadf7d1> <http://xmlns.com/foaf/0.1/name> "A Kissinger"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-004f2899afcad5d98e09b2cfe69e66f9> <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-004f2899afcad5d98e09b2cfe69e66f9> <http://xmlns.com/foaf/0.1/givenName> "P"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-004f2899afcad5d98e09b2cfe69e66f9> <http://xmlns.com/foaf/0.1/familyName> "Sobocinski"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-004f2899afcad5d98e09b2cfe69e66f9> <http://xmlns.com/foaf/0.1/name> "P Sobocinski"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/ontology/bibo/presentedAt> <https://discovery.ucl.ac.uk/id/event/ext-70741e48fbb7dc43a88174d9119175d6> .
<https://discovery.ucl.ac.uk/id/event/ext-70741e48fbb7dc43a88174d9119175d6> <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-70741e48fbb7dc43a88174d9119175d6> <http://purl.org/dc/terms/title> "LICS '18"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/document/707967> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/707967> <http://www.w3.org/2000/01/rdf-schema#label> "Rewriting with Frobenius. (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://eprints.org/ontology/hasAccepted> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/document/707967> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10053250/1/paperLICS18.pdf> .
<https://discovery.ucl.ac.uk/id/document/707967> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10053250/1/paperLICS18.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10053250/1/paperLICS18.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "paperLICS18.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/707968> .
<https://discovery.ucl.ac.uk/id/document/707968> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/707968> <http://www.w3.org/2000/01/rdf-schema#label> "Rewriting with Frobenius. (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/707968> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/document/707968> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/document/707968> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/707969> .
<https://discovery.ucl.ac.uk/id/document/707969> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/707969> <http://www.w3.org/2000/01/rdf-schema#label> "Rewriting with Frobenius. (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/707969> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/document/707969> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/document/707969> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/707970> .
<https://discovery.ucl.ac.uk/id/document/707970> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/707970> <http://www.w3.org/2000/01/rdf-schema#label> "Rewriting with Frobenius. (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/707970> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/document/707970> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/document/707970> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/707971> .
<https://discovery.ucl.ac.uk/id/document/707971> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/707971> <http://www.w3.org/2000/01/rdf-schema#label> "Rewriting with Frobenius. (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/707971> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/document/707971> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/document/707971> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/707972> .
<https://discovery.ucl.ac.uk/id/document/707972> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/707972> <http://www.w3.org/2000/01/rdf-schema#label> "Rewriting with Frobenius. (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/707972> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/document/707972> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/document/707972> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/707967> .
<https://discovery.ucl.ac.uk/id/eprint/10053250> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10053250/> .
<https://discovery.ucl.ac.uk/id/eprint/10053250/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10053250 \n\nRewriting with Frobenius.\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10053250/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10053250/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10053250> .