Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/conf/stoc/HarelPS77
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/conf/stoc/HarelPS77
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.1145/800105.803415 +
https://dblp.org/rdf/schema#doi https://doi.org/10.1145/800105.803415 + , http://dx.doi.org/10.1145/800105.803415 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/conf/stoc/stoc77 +
https://dblp.org/rdf/schema#numberOfCreators 3
https://dblp.org/rdf/schema#pagination 249-260
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.1145/800105.803415 +
https://dblp.org/rdf/schema#publishedAsPartOf https://dblp.org/rec/conf/stoc/STOC9 +
https://dblp.org/rdf/schema#publishedIn STOC
https://dblp.org/rdf/schema#publishedInBook STOC
https://dblp.org/rdf/schema#title A Complete Axiomatic System for Proving Deductions about Recursive Programs
https://dblp.org/rdf/schema#yearOfEvent 1977
https://dblp.org/rdf/schema#yearOfPublication 1977
owl:sameAs https://doi.org/10.1145/800105.803415 + , http://dx.doi.org/10.1145/800105.803415 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label David Harel et al.: A Complete Axiomatic System for Proving Deductions about Recursive Programs (1977)
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-2Fconf-2Fstoc-2FHarelPS77"