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

45 Scopus citations
Original languageEnglish (US)
Title of host publicationAutomated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings
PublisherSpringer Verlag
Pages391-397
Number of pages7
ISBN (Print)3540735941, 9783540735946
DOIs
StatePublished - 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
Country/TerritoryGermany
CityBremen
Period7/17/077/20/07

Cite this