Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/journals/sigact/HarelKT01
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/journals/sigact/HarelKT01
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/h/DavidHarel + , https://dblp.org/pid/k/DexterKozen + , https://dblp.org/pid/t/JerzyTiuryn +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Article +
https://dblp.org/rdf/schema#documentPage https://doi.org/10.1145/568438.568456 +
https://dblp.org/rdf/schema#doi https://doi.org/10.1145/568438.568456 + , http://dx.doi.org/10.1145/568438.568456 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/journals/sigact/sigact32 +
https://dblp.org/rdf/schema#numberOfCreators 3
https://dblp.org/rdf/schema#pagination 66-69
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.1145/568438.568456 +
https://dblp.org/rdf/schema#publishedIn SIGACT News
https://dblp.org/rdf/schema#publishedInJournal SIGACT News
https://dblp.org/rdf/schema#publishedInJournalVolume 32
https://dblp.org/rdf/schema#publishedInJournalVolumeIssue 1
https://dblp.org/rdf/schema#title Dynamic logic.
https://dblp.org/rdf/schema#yearOfPublication 2001
owl:sameAs https://doi.org/10.1145/568438.568456 + , http://dx.doi.org/10.1145/568438.568456 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Article +
rdfs:label David Harel et al.: Dynamic logic. (2001)
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://www.b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Frec-2Fjournals-2Fsigact-2FHarelKT01"