<> <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/10130031> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/dc/terms/title> "On Star Expressions and Completeness Theorems"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/ontology/bibo/abstract> "An open problem posed by Milner asks for a proof that a certain axiomatisation, which Milner showed is sound with respect to bisimilarity for regular expressions, is also complete. One of the main difficulties of the problem is the lack of a full Kleene theorem, since there are automata that can not be specified, up to bisimilarity, by an expression. Grabmayer and Fokkink (2020) characterise those automata that can be expressed by regular expressions without the constant 1, and use this characterisation to give a positive answer to Milner's question for this subset of expressions. In this paper, we analyse Grabmayer and Fokkink's proof of completeness from the perspective of universal coalgebra, and thereby give an abstract account of their proof method. We then compare this proof method to another approach to completeness proofs from coalgebraic language theory. This culminates in two abstract proof methods for completeness, what we call the local and global approaches, and a description of when one method can be used in place of the other."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/dc/terms/date> "2021-12" .
<https://discovery.ucl.ac.uk/id/document/1469285> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/ontology/bibo/volume> "351" .
<https://discovery.ucl.ac.uk/id/publication/ext-cde71ca87ba73429af12573b75ea416a> <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-cde71ca87ba73429af12573b75ea416a> <http://xmlns.com/foaf/0.1/name> "arXiv.org"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-cde71ca87ba73429af12573b75ea416a> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-73d98c69553b7dbc54e1f1bf09461808> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10130031#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10130031#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-73d98c69553b7dbc54e1f1bf09461808> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-047ef09de7a8825fb2ef53b736481fbb> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10130031#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10130031#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-047ef09de7a8825fb2ef53b736481fbb> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-b51e90f2c7154c1a0092f4cbb4b132e4> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10130031#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10130031#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-b51e90f2c7154c1a0092f4cbb4b132e4> .
<https://discovery.ucl.ac.uk/id/person/ext-047ef09de7a8825fb2ef53b736481fbb> <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-047ef09de7a8825fb2ef53b736481fbb> <http://xmlns.com/foaf/0.1/givenName> "J"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-047ef09de7a8825fb2ef53b736481fbb> <http://xmlns.com/foaf/0.1/familyName> "Rot"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-047ef09de7a8825fb2ef53b736481fbb> <http://xmlns.com/foaf/0.1/name> "J Rot"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-b51e90f2c7154c1a0092f4cbb4b132e4> <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-b51e90f2c7154c1a0092f4cbb4b132e4> <http://xmlns.com/foaf/0.1/givenName> "A"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-b51e90f2c7154c1a0092f4cbb4b132e4> <http://xmlns.com/foaf/0.1/familyName> "Silva"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-b51e90f2c7154c1a0092f4cbb4b132e4> <http://xmlns.com/foaf/0.1/name> "A Silva"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-73d98c69553b7dbc54e1f1bf09461808> <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-73d98c69553b7dbc54e1f1bf09461808> <http://xmlns.com/foaf/0.1/givenName> "T"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-73d98c69553b7dbc54e1f1bf09461808> <http://xmlns.com/foaf/0.1/familyName> "Schmid"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-73d98c69553b7dbc54e1f1bf09461808> <http://xmlns.com/foaf/0.1/name> "T Schmid"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/ontology/bibo/presentedAt> <https://discovery.ucl.ac.uk/id/event/ext-44682be5ad1dfbf61fbe6e0e06de0a6a> .
<https://discovery.ucl.ac.uk/id/event/ext-44682be5ad1dfbf61fbe6e0e06de0a6a> <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-44682be5ad1dfbf61fbe6e0e06de0a6a> <http://purl.org/dc/terms/title> "MFPS 2021: 37th Conference on Mathematical Foundations of Programming Semantics"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1469285> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1469285> <http://www.w3.org/2000/01/rdf-schema#label> "On Star Expressions and Completeness Theorems (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1469285> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10130031/7/Silva_2106.08074v2.pdf> .
<https://discovery.ucl.ac.uk/id/document/1469285> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10130031/7/Silva_2106.08074v2.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10130031/7/Silva_2106.08074v2.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Silva_2106.08074v2.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10130031> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1497033> .
<https://discovery.ucl.ac.uk/id/document/1497033> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1497033> <http://www.w3.org/2000/01/rdf-schema#label> "On Star Expressions and Completeness Theorems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1497033> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497033> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497033> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497033> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10130031/8/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1497033> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10130031/8/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10130031/8/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/10130031> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1497115> .
<https://discovery.ucl.ac.uk/id/document/1497115> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1497115> <http://www.w3.org/2000/01/rdf-schema#label> "On Star Expressions and Completeness Theorems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1497115> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497115> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497115> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497115> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10130031/9/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1497115> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10130031/9/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10130031/9/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/10130031> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1497116> .
<https://discovery.ucl.ac.uk/id/document/1497116> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1497116> <http://www.w3.org/2000/01/rdf-schema#label> "On Star Expressions and Completeness Theorems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1497116> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497116> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497116> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497116> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10130031/10/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1497116> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10130031/10/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10130031/10/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/10130031> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1497117> .
<https://discovery.ucl.ac.uk/id/document/1497117> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1497117> <http://www.w3.org/2000/01/rdf-schema#label> "On Star Expressions and Completeness Theorems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1497117> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497117> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497117> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497117> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10130031/11/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1497117> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10130031/11/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10130031/11/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/10130031> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1497118> .
<https://discovery.ucl.ac.uk/id/document/1497118> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1497118> <http://www.w3.org/2000/01/rdf-schema#label> "On Star Expressions and Completeness Theorems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1497118> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497118> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497118> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1469285> .
<https://discovery.ucl.ac.uk/id/document/1497118> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10130031/12/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1497118> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10130031/12/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10130031/12/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/10130031> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10130031/> .
<https://discovery.ucl.ac.uk/id/eprint/10130031/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10130031 \n\nOn Star Expressions and Completeness Theorems\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10130031/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10130031/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10130031> .