The hyper Tableaux calculus with equality and an application to finite model computation

Citation

Baumgartner, P, Furbach, U & Pelzer, B 2008, 'The hyper Tableaux calculus with equality and an application to finite model computation', Journal of Logic and Computation, vol. advance access 2008, pp. 1-33.

Year

2008

ANU Authors

Field of Research

  • Mathematical Logic, Set Theory, Lattices And Universal Algebra

Updated:  05 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers