KK: a theorem prover for K

Andrei Voronkov; Harald Ganzinger

KK: a theorem prover for K

Andrei Voronkov, Harald Ganzinger (Editor)

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

Original language	English
Title of host publication	CADE
Editors	Harald Ganzinger
Publisher	Springer Nature
Pages	383-387
Number of pages	5
Volume	1632
ISBN (Print)	3-540-66222-7
Publication status	Published - 1999
Event	Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/cade/cade99.html#Voronkov99http://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov99.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov99

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/cade/cade99.html#Voronkov99http://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov99.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov99

Access to Document

Cite this

@inproceedings{69fddaccc9034f589923f6a7075ae5b1,

title = "KK: a theorem prover for K",

author = "Andrei Voronkov and Harald Ganzinger",

year = "1999",

language = "English",

isbn = "3-540-66222-7",

volume = "1632",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "383--387",

editor = "Harald Ganzinger",

booktitle = "CADE",

address = "United States",

note = "Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/cade/cade99.html#Voronkov99http://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov99.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov99",

}

Voronkov, A & Ganzinger, H (ed.) 1999, KK: a theorem prover for K. in H Ganzinger (ed.), CADE. vol. 1632, Lecture Notes in Computer Science, Springer Nature, pp. 383-387, Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/cade/cade99.html#Voronkov99>

TY - GEN

T1 - KK: a theorem prover for K

AU - Voronkov, Andrei

A2 - Ganzinger, Harald

PY - 1999

Y1 - 1999

M3 - Conference contribution

SN - 3-540-66222-7

VL - 1632

T3 - Lecture Notes in Computer Science

SP - 383

EP - 387

BT - CADE

PB - Springer Nature

T2 - Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Y2 - 1 January 1824

ER -