Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/conf/focs/HarelPS81

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/h/DavidHarel + , https://dblp.org/pid/p/AmirPnueli + , https://dblp.org/pid/72/4558 +
https://dblp.org/rdf/schema#bibtexType	http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage	https://doi.org/10.1109/SFCS.1981.38 + , https://doi.ieeecomputersociety.org/10.1109/SFCS.1981.38 +
https://dblp.org/rdf/schema#doi	https://doi.org/10.1109/SFCS.1981.38 + , http://dx.doi.org/10.1109/SFCS.1981.38 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/conf/focs/focs81 +
https://dblp.org/rdf/schema#numberOfCreators	3
https://dblp.org/rdf/schema#pagination	310-321
https://dblp.org/rdf/schema#primaryDocumentPage	https://doi.org/10.1109/SFCS.1981.38 +
https://dblp.org/rdf/schema#publishedAsPartOf	https://dblp.org/rec/conf/focs/FOCS22 +
https://dblp.org/rdf/schema#publishedIn	FOCS
https://dblp.org/rdf/schema#publishedInBook	FOCS
https://dblp.org/rdf/schema#title	Propositional Dynamic Logic of Context-Free Programs
https://dblp.org/rdf/schema#yearOfEvent	1981
https://dblp.org/rdf/schema#yearOfPublication	1981
owl:sameAs	https://doi.org/10.1109/SFCS.1981.38 + , http://dx.doi.org/10.1109/SFCS.1981.38 +
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label	David Harel et al.: Propositional Dynamic Logic of Context-Free Programs (1981)

	This page has no properties.

Navigation menu