Tableau-based reasoning for decidable fragments of first-order logic (2012)

First Author: Reker Hilverd Geert
Attributed to:  Consequence Relations in Logics of AI funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.escholar.manchester.ac.uk/uk-ac-man-scw:157594

Type: Thesis