Geometric resolution: A proof procedure based on finite model search
Date
Authors
de Nivelle, Hans
Meng, Jia
Journal Title
Journal ISSN
Volume Title
Publisher
Conference Organising Committee
Abstract
Description
Keywords
Citation
Collections
Source
Proceedings of DISPROVING-06: Non-Theorems, Non-Validity, Non-Provability
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31