Browse Wiki & Semantic Web

Https://dblp.org/rec/conf/RelMiCS/KozenM015

	This page has no properties.

hide properties that link here

	No properties link to this page.

https://dblp.org/rec/conf/RelMiCS/KozenM015

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/k/DexterKozen + , https://dblp.org/pid/48/6846 + , https://dblp.org/pid/92/1378-1 +
https://dblp.org/rdf/schema#bibtexType	http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#createdBy	https://dblp.org/pid/k/DexterKozen + , https://dblp.org/pid/48/6846 + , https://dblp.org/pid/92/1378-1 +
https://dblp.org/rdf/schema#documentPage	https://doi.org/10.1007/978-3-319-24704-5_4 +
https://dblp.org/rdf/schema#doi	https://doi.org/10.1007/978-3-319-24704-5_4 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/conf/RelMiCS/ramics2015 +
https://dblp.org/rdf/schema#numberOfCreators	3
https://dblp.org/rdf/schema#pagination	51-66
https://dblp.org/rdf/schema#primaryDocumentPage	https://doi.org/10.1007/978-3-319-24704-5_4 +
https://dblp.org/rdf/schema#publishedAsPartOf	https://dblp.org/rec/conf/RelMiCS/2015 +
https://dblp.org/rdf/schema#publishedIn	RAMiCS
https://dblp.org/rdf/schema#publishedInBook	RAMiCS
https://dblp.org/rdf/schema#publishedInStream	https://dblp.org/streams/conf/RelMiCS +
https://dblp.org/rdf/schema#title	Completeness and Incompleteness in Nominal Kleene Algebra.
https://dblp.org/rdf/schema#yearOfEvent	2015
https://dblp.org/rdf/schema#yearOfPublication	2015
owl:sameAs	https://doi.org/10.1007/978-3-319-24704-5_4 + , http://dx.doi.org/10.1007/978-3-319-24704-5_4 +
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label	Dexter Kozen et al.: Completeness and Incompleteness in Nominal Kleene Algebra. (2015)

hide properties that link here

	This page has no properties.

Browse Wiki & Semantic Web

Navigation menu

Personal tools

Namespaces

Variants

Views

Actions

Search

Navigation

Tools