Login / Signup
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic.
Ekaterina Komendantskaya
Patricia Johann
Published in:
CoRR (2015)
Keyphrases
</>
proof search
linear logic
theorem prover
artificial intelligence
inference rules
formal model
theorem proving
proof planning