Eliminating Models During Model Elimination

First Author: Rawson M

Attributed to: CAPS: Collaborative Architectures for Proof Search funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-86059-2_15

PubMed Identifier: 35912274

Publication URI: http://europepmc.org/abstract/MED/35912274

Type: Book Chapter

Book Title: Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings (2021)

Page Reference: 250-265

ISSN: 0165-0009