Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/journals/jcss/HarelKP82

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/h/DavidHarel + , https://dblp.org/pid/k/DexterKozen + , https://dblp.org/pid/09/2064 +
https://dblp.org/rdf/schema#bibtexType	http://purl.org/net/nknouf/ns/bibtex#Article +
https://dblp.org/rdf/schema#documentPage	https://doi.org/10.1016/0022-0000%2882%2990003-4 +
https://dblp.org/rdf/schema#doi	https://doi.org/10.1016/0022-0000%2882%2990003-4 + , http://dx.doi.org/10.1016/0022-0000%2882%2990003-4 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/journals/jcss/jcss25 +
https://dblp.org/rdf/schema#numberOfCreators	3
https://dblp.org/rdf/schema#pagination	144-170
https://dblp.org/rdf/schema#primaryDocumentPage	https://doi.org/10.1016/0022-0000%2882%2990003-4 +
https://dblp.org/rdf/schema#publishedIn	J. Comput. Syst. Sci.
https://dblp.org/rdf/schema#publishedInJournal	J. Comput. Syst. Sci.
https://dblp.org/rdf/schema#publishedInJournalVolume	25
https://dblp.org/rdf/schema#publishedInJournalVolumeIssue	2
https://dblp.org/rdf/schema#title	Process Logic: Expressiveness, Decidability, Completeness.
https://dblp.org/rdf/schema#yearOfPublication	1982
owl:sameAs	https://doi.org/10.1016/0022-0000%2882%2990003-4 + , http://dx.doi.org/10.1016/0022-0000%2882%2990003-4 +
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Article +
rdfs:label	David Harel et al.: Process Logic: Expressiveness, Decidability, Completeness. (1982)

	This page has no properties.

Navigation menu