Hyper tableaux with equality
Date
2007
Authors
Baumgartner, Peter
Furbach, Ulrich
Pelzer, Bjorn
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Citation
Collections
Source
Automated Deduction - CADE 21: 21st International Conference on Automated Deduction Proceedings
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description