[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/coco/DantsinEGV97>
dc:creator <http://dblp.l3s.de/d2r/resource/authors/Andrei_Voronkov>
dc:creator <http://dblp.l3s.de/d2r/resource/authors/Evgeny_Dantsin>
dc:creator <http://dblp.l3s.de/d2r/resource/authors/Georg_Gottlob>
dc:creator <http://dblp.l3s.de/d2r/resource/authors/Thomas_Eiter>
foaf:homepage <http://csdl.computer.org/comp/proceedings/ccc/1997/7907/00/79070082abs.htm>
foaf:homepage <http://dx.doi.org/10.1109%2FCCC.1997.612304>
dc:identifier DBLP conf/coco/DantsinEGV97 (xsd:string)
dc:identifier DOI 10.1109%2FCCC.1997.612304 (xsd:string)
dcterms:issued 1997 (xsd:gYear)
rdfs:label Complexity and Expressive Power of Logic Programming. (xsd:string)
foaf:maker <http://dblp.l3s.de/d2r/resource/authors/Andrei_Voronkov>
foaf:maker <http://dblp.l3s.de/d2r/resource/authors/Evgeny_Dantsin>
foaf:maker <http://dblp.l3s.de/d2r/resource/authors/Georg_Gottlob>
foaf:maker <http://dblp.l3s.de/d2r/resource/authors/Thomas_Eiter>
swrc:pages 82-101 (xsd:string)
is dcterms:references of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/DantsinV00>
is dcterms:references of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Spielmann00>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/coco/DantsinEGV97/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/coco/DantsinEGV97>
rdfs:seeAlso <http://csdl.computer.org/comp/proceedings/ccc/1997/7907/00/79070082abs.htm>
rdfs:seeAlso <http://dblp.uni-trier.de/db/conf/coco/coco97.html#DantsinEGV97>
swrc:series <http://dblp.l3s.de/d2r/resource/conferences/coco>
dc:subject Logic programming, expressive power, unification, resolution, constraint logic programming, computational complexity (xsd:string)
dc:title Complexity and Expressive Power of Logic Programming. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:InProceedings
rdf:type foaf:Document