The Bedwyr system for model checking over syntactic expressions

David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

43 Scopus citations
Original languageEnglish (US)
Title of host publicationAutomated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings
Pages391-397
Number of pages7
StatePublished - Oct 15 2007
Event21st International Conference on Automated Deduction, CADE-21 2007 - Bremen, Germany
Duration: Jul 17 2007Jul 20 2007

Publication series

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

Other

Other21st International Conference on Automated Deduction, CADE-21 2007
CountryGermany
CityBremen
Period7/17/077/20/07

Cite this