Browse Wiki & Semantic Web
| Https://dblp.org/rec/phd/us/Mamouras15 |
| This page has no properties. |
| hide properties that link here |
| No properties link to this page. |
| https://dblp.org/rec/phd/us/Mamouras15 |
| https://dblp.org/rdf/schema#authoredBy | https://dblp.org/pid/48/6846 + |
|---|---|
| https://dblp.org/rdf/schema#bibtexType | http://purl.org/net/nknouf/ns/bibtex#Phdthesis + |
| https://dblp.org/rdf/schema#createdBy | https://dblp.org/pid/48/6846 + |
| https://dblp.org/rdf/schema#numberOfCreators | 1 |
| https://dblp.org/rdf/schema#thesisAcceptedBySchool | Cornell University, USA |
| https://dblp.org/rdf/schema#title | Extensions of Kleene Algebra for Program Verification. |
| https://dblp.org/rdf/schema#yearOfPublication | 2015 |
| rdf:type | https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Book + |
| rdfs:label | Konstantinos Mamouras: Extensions of Kleene Algebra for Program Verification. (2015) |
| hide properties that link here |
| This page has no properties. |
