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

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