Automata Theoretic Account of Proof Search.

Aleksy Schubert Wil Dekkers Hendrik Pieter Barendregt

Published in: CSL (2015)

Keyphrases

proof search
automata theoretic
linear logic
inference rules
theorem prover
temporal logic
theorem proving
search procedure
regular path queries
description logics
query optimization
proof procedure
sequent calculus