Theory Instantiation

Harald Ganzinger; Konstantin Korovin; Miki Hermann; Andrei Voronkov

doi:10.1007/11916277_34

Theory Instantiation

Harald Ganzinger, Konstantin Korovin, Miki Hermann (Editor), Andrei Voronkov (Editor)

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

Original language	English
Title of host publication	LPAR
Editors	Miki Hermann, Andrei Voronkov
Publisher	Springer Nature
Pages	497-511
Number of pages	15
Volume	4246
ISBN (Print)	3-540-48281-4
DOIs	https://doi.org/10.1007/11916277_34
Publication status	Published - 2006
Event	Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/lpar/lpar2006.html#GanzingerK06http://dblp.uni-trier.de/rec/bibtex/conf/lpar/GanzingerK06.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/GanzingerK06

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/lpar/lpar2006.html#GanzingerK06http://dblp.uni-trier.de/rec/bibtex/conf/lpar/GanzingerK06.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/GanzingerK06

Access to Document

10.1007/11916277_34

Cite this

@inproceedings{748d53fe737d4dea9c3eecf204d6a5d8,

title = "Theory Instantiation",

author = "Harald Ganzinger and Konstantin Korovin and Miki Hermann and Andrei Voronkov",

year = "2006",

doi = "10.1007/11916277_34",

language = "English",

isbn = "3-540-48281-4",

volume = "4246",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "497--511",

editor = "Miki Hermann and Andrei Voronkov",

booktitle = "LPAR",

address = "United States",

note = "Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/lpar/lpar2006.html#GanzingerK06http://dblp.uni-trier.de/rec/bibtex/conf/lpar/GanzingerK06.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/GanzingerK06",

}

Ganzinger, H, Korovin, K, Hermann, M (ed.) & Voronkov, A (ed.) 2006, Theory Instantiation. in M Hermann & A Voronkov (eds), LPAR. vol. 4246, Lecture Notes in Computer Science, Springer Nature, pp. 497-511, Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, 1/01/24. https://doi.org/10.1007/11916277_34

TY - GEN

T1 - Theory Instantiation

AU - Ganzinger, Harald

AU - Korovin, Konstantin

A2 - Hermann, Miki

A2 - Voronkov, Andrei

A2 - Hermann, Miki

A2 - Voronkov, Andrei

PY - 2006

Y1 - 2006

U2 - 10.1007/11916277_34

DO - 10.1007/11916277_34

M3 - Conference contribution

SN - 3-540-48281-4

VL - 4246

T3 - Lecture Notes in Computer Science

SP - 497

EP - 511

BT - LPAR

PB - Springer Nature

T2 - Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

Y2 - 1 January 1824

ER -