Stratified Resolution

Anatoli Degtyarev; Andrei Voronkov; David A McAllester

Stratified Resolution

Anatoli Degtyarev
, Andrei Voronkov
, David A McAllester (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	CADE
Editors	David A McAllester
Publisher	Springer Nature
Pages	365-384
Number of pages	20
Volume	1831
ISBN (Print)	3-540-67664-3
Publication status	Published - 2000
Event	Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/cade/cade2000.html#DegtyarevV00http://dblp.uni-trier.de/rec/bibtex/conf/cade/DegtyarevV00.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cade/DegtyarevV00

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/cade/cade2000.html#DegtyarevV00http://dblp.uni-trier.de/rec/bibtex/conf/cade/DegtyarevV00.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cade/DegtyarevV00

Access to Document

Cite this

@inproceedings{5409f5cc32ef41c48c7b3c267bb19d80,

title = "Stratified Resolution",

author = "Anatoli Degtyarev and Andrei Voronkov and McAllester, \{David A\}",

year = "2000",

language = "English",

isbn = "3-540-67664-3",

volume = "1831",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "365--384",

editor = "McAllester, \{David A\}",

booktitle = "CADE",

address = "United States",

note = "Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/cade/cade2000.html\#DegtyarevV00http://dblp.uni-trier.de/rec/bibtex/conf/cade/DegtyarevV00.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cade/DegtyarevV00",

}

Degtyarev, A, Voronkov, A & McAllester, DA (ed.) 2000, Stratified Resolution. in DA McAllester (ed.), CADE. vol. 1831, Lecture Notes in Computer Science, Springer Nature, pp. 365-384, Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/cade/cade2000.html#DegtyarevV00>

TY - GEN

T1 - Stratified Resolution

AU - Degtyarev, Anatoli

AU - Voronkov, Andrei

A2 - McAllester, David A

PY - 2000

Y1 - 2000

M3 - Conference contribution

SN - 3-540-67664-3

VL - 1831

T3 - Lecture Notes in Computer Science

SP - 365

EP - 384

BT - CADE

PB - Springer Nature

T2 - Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings

Y2 - 1 January 1824

ER -