<> <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/10146158> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://purl.org/dc/terms/title> "How to write a coequation"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://purl.org/ontology/bibo/abstract> "There is a large amount of literature on the topic of covarieties,\r\ncoequations and coequational specifications, dating back to the early\r\nseventies. Nevertheless, coequations have not (yet) emerged as an everyday\r\npractical specification formalism for computer scientists. In this review\r\npaper, we argue that this is partly due to the multitude of syntaxes for\r\nwriting down coequations, which seems to have led to some confusion about what\r\ncoequations are and what they are for. By surveying the literature, we identify\r\nfour types of syntaxes: coequations-as-corelations, coequations-as-predicates,\r\ncoequations-as-equations, and coequations-as-modal-formulas. We present each of\r\nthese in a tutorial fashion, relate them to each other, and discuss their\r\nrespective uses."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://purl.org/dc/terms/date> "2021-09-03" .
<https://discovery.ucl.ac.uk/id/document/1461978> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://purl.org/ontology/bibo/volume> "9" .
<https://discovery.ucl.ac.uk/id/org/ext-5ef10b3f2d4f12c1696aa4700b3723d7> <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-5ef10b3f2d4f12c1696aa4700b3723d7> <http://xmlns.com/foaf/0.1/name> "Coalgebra"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-5ef10b3f2d4f12c1696aa4700b3723d7> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/unpublished> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-ea9d76503a12d31ded84d200c021a336> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10146158#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10146158#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-ea9d76503a12d31ded84d200c021a336> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-a4b882eba2d41d41659a70656569ae12> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10146158#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10146158#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-a4b882eba2d41d41659a70656569ae12> .
<https://discovery.ucl.ac.uk/id/person/ext-a4b882eba2d41d41659a70656569ae12> <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-a4b882eba2d41d41659a70656569ae12> <http://xmlns.com/foaf/0.1/givenName> "Todd"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-a4b882eba2d41d41659a70656569ae12> <http://xmlns.com/foaf/0.1/familyName> "Schmid"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-a4b882eba2d41d41659a70656569ae12> <http://xmlns.com/foaf/0.1/name> "Todd Schmid"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ea9d76503a12d31ded84d200c021a336> <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-ea9d76503a12d31ded84d200c021a336> <http://xmlns.com/foaf/0.1/givenName> "Fredrik"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ea9d76503a12d31ded84d200c021a336> <http://xmlns.com/foaf/0.1/familyName> "Dahlqvist"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ea9d76503a12d31ded84d200c021a336> <http://xmlns.com/foaf/0.1/name> "Fredrik Dahlqvist"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://purl.org/ontology/bibo/presentedAt> <https://discovery.ucl.ac.uk/id/event/ext-128baa419f6740cde9085854c649f962> .
<https://discovery.ucl.ac.uk/id/event/ext-128baa419f6740cde9085854c649f962> <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-128baa419f6740cde9085854c649f962> <http://purl.org/dc/terms/title> "9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461978> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1461978> <http://www.w3.org/2000/01/rdf-schema#label> "How to write a coequation (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://eprints.org/ontology/hasOther> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461978> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10146158/1/2109.11967v1.pdf> .
<https://discovery.ucl.ac.uk/id/document/1461978> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10146158/1/2109.11967v1.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10146158/1/2109.11967v1.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "2109.11967v1.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10146158> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1461979> .
<https://discovery.ucl.ac.uk/id/document/1461979> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1461979> <http://www.w3.org/2000/01/rdf-schema#label> "How to write a coequation (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1461979> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461979> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461979> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461979> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10146158/2/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1461979> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10146158/2/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10146158/2/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/10146158> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1461980> .
<https://discovery.ucl.ac.uk/id/document/1461980> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1461980> <http://www.w3.org/2000/01/rdf-schema#label> "How to write a coequation (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1461980> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461980> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461980> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461980> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10146158/3/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1461980> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10146158/3/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10146158/3/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/10146158> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1461981> .
<https://discovery.ucl.ac.uk/id/document/1461981> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1461981> <http://www.w3.org/2000/01/rdf-schema#label> "How to write a coequation (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1461981> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461981> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461981> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461981> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10146158/4/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1461981> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10146158/4/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10146158/4/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/10146158> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1461982> .
<https://discovery.ucl.ac.uk/id/document/1461982> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1461982> <http://www.w3.org/2000/01/rdf-schema#label> "How to write a coequation (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1461982> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461982> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461982> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461982> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10146158/5/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1461982> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10146158/5/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10146158/5/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/10146158> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1461983> .
<https://discovery.ucl.ac.uk/id/document/1461983> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1461983> <http://www.w3.org/2000/01/rdf-schema#label> "How to write a coequation (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1461983> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461983> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461983> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1461978> .
<https://discovery.ucl.ac.uk/id/document/1461983> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10146158/6/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1461983> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10146158/6/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10146158/6/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/10146158> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10146158/> .
<https://discovery.ucl.ac.uk/id/eprint/10146158/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10146158 \n\nHow to write a coequation\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10146158/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10146158/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10146158> .