Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/journals/ijes/VelevB05
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/journals/ijes/VelevB05
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/v/MiroslavNVelev + , https://dblp.org/pid/b/REBryant +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Article +
https://dblp.org/rdf/schema#documentPage https://doi.org/10.1504/IJES.2005.008815 +
https://dblp.org/rdf/schema#doi https://doi.org/10.1504/IJES.2005.008815 + , http://dx.doi.org/10.1504/IJES.2005.008815 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/journals/ijes/ijes1 +
https://dblp.org/rdf/schema#numberOfCreators 2
https://dblp.org/rdf/schema#pagination 134-149
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.1504/IJES.2005.008815 +
https://dblp.org/rdf/schema#publishedIn Int. J. Embed. Syst.
https://dblp.org/rdf/schema#publishedInJournal Int. J. Embed. Syst.
https://dblp.org/rdf/schema#publishedInJournalVolume 1
https://dblp.org/rdf/schema#publishedInJournalVolumeIssue 1/2
https://dblp.org/rdf/schema#title TLSim and EVC: a term-level symbolic simulator and an efficient decision procedure for the logic of equality with uninterpreted functions and memories.
https://dblp.org/rdf/schema#yearOfPublication 2005
owl:sameAs https://doi.org/10.1504/IJES.2005.008815 + , http://dx.doi.org/10.1504/IJES.2005.008815 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Article +
rdfs:label Miroslav N. Velev and Randal E. Bryant: TLSim and EVC: a term-level symbolic simulator and an efficient decision procedure for the logic of equality with uninterpreted functions and memories. (2005)
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-2Fijes-2FVelevB05"