WELL!: An Evaluation Procedure for All Logic Programs. | D2R Server publishing the DBLP Bibliography Database, hosted at L3S Research Center

Property	Value
dcterms:bibliographicCitation	<http://dblp.uni-trier.de/rec/bibtex/conf/icdt/BidoitL90>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Nicole_Bidoit>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/P._Legay>
foaf:homepage	<http://dx.doi.org/doi.org%2F10.1007%2F3-540-53507-1%5F87>
foaf:homepage	<https://doi.org/10.1007/3-540-53507-1_87>
dc:identifier	DBLP conf/icdt/BidoitL90 (xsd:string)
dc:identifier	DOI doi.org%2F10.1007%2F3-540-53507-1%5F87 (xsd:string)
dcterms:issued	1990 (xsd:gYear)
rdfs:label	WELL!: An Evaluation Procedure for All Logic Programs. (xsd:string)
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Nicole_Bidoit>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/P._Legay>
swrc:pages	335-348 (xsd:string)
dcterms:partOf	<https://dblp.l3s.de/d2r/resource/publications/conf/icdt/90>
is dcterms:references of	<https://dblp.l3s.de/d2r/resource/publications/books/aw/AbiteboulHV95>
is dcterms:references of	<https://dblp.l3s.de/d2r/resource/publications/conf/icde/LaurentLS93>
is dcterms:references of	<https://dblp.l3s.de/d2r/resource/publications/conf/pods/ChenW93>
is dcterms:references of	<https://dblp.l3s.de/d2r/resource/publications/journals/tkde/ChenW96>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/books/harper/Gallier86>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/books/mk/minker88/AptBW88>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/books/mk/minker88/Lifschitz88>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/books/mk/minker88/Przymusinski88>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/books/sp/Lloyd87>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/eds/Vieille86>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/iclp/FittingB88>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/iclp/GelfondL88>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/iclp/KempT88>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/iclp/Kunen88>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/iclp/Przymusinski88>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/iclp/SekiI88>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/lics/BidoitF87>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/pods/AbiteboulV88>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/pods/Bry89>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/pods/Gelder89>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/pods/GelderRS88>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/pods/KolaitisP88>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/pods/Przymusinski89>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/pods/Ross89>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/BancilhonR86>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/journals/jlp/Fitting85a>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/journals/tcs/Bidoit91>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/journals/tcs/BidoitF91>
dcterms:references	<https://dblp.l3s.de/d2r/resource/publications/journals/tcs/Vieille89>
owl:sameAs	<http://bibsonomy.org/uri/bibtexkey/conf/icdt/BidoitL90/dblp>
owl:sameAs	<http://dblp.rkbexplorer.com/id/conf/icdt/BidoitL90>
rdfs:seeAlso	<http://dblp.uni-trier.de/db/conf/icdt/icdt90.html#BidoitL90>
rdfs:seeAlso	<https://doi.org/10.1007/3-540-53507-1_87>
swrc:series	<https://dblp.l3s.de/d2r/resource/conferences/icdt>
dc:title	WELL!: An Evaluation Procedure for All Logic Programs. (xsd:string)
dc:type	<http://purl.org/dc/dcmitype/Text>
rdf:type	swrc:InProceedings
rdf:type	foaf:Document