Extracting proofs from tabled proof search
Date
2013
Authors
Miller, Dale
Tiu, Alwen
Journal Title
Journal ISSN
Volume Title
Publisher
Conference Organising Committee
Abstract
We consider the problem of model checking specifications involving co-inductive definitions such as are available for bisimulation. A proof search approach to model checking with such specifications often involves state exploration. We consider four diffe
Description
Keywords
Citation
Collections
Source
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description