Embedding programming languages in theorem provers

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations
Original languageEnglish
Title of host publicationAutomated Deduction — CADE-16 - 16th International Conference on Automated Deduction, Proceedings
EditorsHarald Ganzinger
PublisherSpringer Verlag
ISBN (Print)3540662227, 9783540662228
DOIs
StatePublished - 1999
Event16th International Conference on Automated Deduction, CADE 1999 - Trento, Italy
Duration: 7 Jul 199910 Jul 1999

Publication series

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

Conference

Conference16th International Conference on Automated Deduction, CADE 1999
Country/TerritoryItaly
CityTrento
Period7/07/9910/07/99

Cite this