Embedding programming languages in theorem provers

Tobias Nipkow

doi:10.1007/3-540-48660-7_38

Embedding programming languages in theorem provers

Tobias Nipkow

Informatics 7 - Chair of Theoretical Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Original language	English
Title of host publication	Automated Deduction — CADE-16 - 16th International Conference on Automated Deduction, Proceedings
Editors	Harald Ganzinger
Publisher	Springer Verlag
ISBN (Print)	3540662227, 9783540662228
DOIs	https://doi.org/10.1007/3-540-48660-7_38
State	Published - 1999
Event	16th International Conference on Automated Deduction, CADE 1999 - Trento, Italy Duration: 7 Jul 1999 → 10 Jul 1999

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1632
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	16th International Conference on Automated Deduction, CADE 1999
Country/Territory	Italy
City	Trento
Period	7/07/99 → 10/07/99

Access to Document

10.1007/3-540-48660-7_38

Cite this

Nipkow, T. (1999). Embedding programming languages in theorem provers. In H. Ganzinger (Ed.), Automated Deduction — CADE-16 - 16th International Conference on Automated Deduction, Proceedings (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1632). Springer Verlag. https://doi.org/10.1007/3-540-48660-7_38

@inproceedings{7a80567b60eb4250afe9fbe080c0befc,

title = "Embedding programming languages in theorem provers",

author = "Tobias Nipkow",

year = "1999",

doi = "10.1007/3-540-48660-7_38",

language = "English",

isbn = "3540662227",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

editor = "Harald Ganzinger",

booktitle = "Automated Deduction — CADE-16 - 16th International Conference on Automated Deduction, Proceedings",

note = "16th International Conference on Automated Deduction, CADE 1999 ; Conference date: 07-07-1999 Through 10-07-1999",

}

Nipkow, T 1999, Embedding programming languages in theorem provers. in H Ganzinger (ed.), Automated Deduction — CADE-16 - 16th International Conference on Automated Deduction, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1632, Springer Verlag, 16th International Conference on Automated Deduction, CADE 1999, Trento, Italy, 7/07/99. https://doi.org/10.1007/3-540-48660-7_38

Embedding programming languages in theorem provers. / Nipkow, Tobias.
Automated Deduction — CADE-16 - 16th International Conference on Automated Deduction, Proceedings. ed. / Harald Ganzinger. Springer Verlag, 1999. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1632).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Embedding programming languages in theorem provers

AU - Nipkow, Tobias

PY - 1999

Y1 - 1999

UR - http://www.scopus.com/inward/record.url?scp=84957616575&partnerID=8YFLogxK

U2 - 10.1007/3-540-48660-7_38

DO - 10.1007/3-540-48660-7_38

M3 - Conference contribution

AN - SCOPUS:84957616575

SN - 3540662227

SN - 9783540662228

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

BT - Automated Deduction — CADE-16 - 16th International Conference on Automated Deduction, Proceedings

A2 - Ganzinger, Harald

PB - Springer Verlag

T2 - 16th International Conference on Automated Deduction, CADE 1999

Y2 - 7 July 1999 through 10 July 1999

ER -

Nipkow T. Embedding programming languages in theorem provers. In Ganzinger H, editor, Automated Deduction — CADE-16 - 16th International Conference on Automated Deduction, Proceedings. Springer Verlag. 1999. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-48660-7_38

Embedding programming languages in theorem provers

Publication series

Conference

Access to Document

Other files and links

Cite this