Login / Signup
A game semantics for proof search: preliminary results.
Dale Miller
Alexis Saurin
Published in:
GALOP@ETAPS (2005)
Keyphrases
</>
proof search
theorem prover
linear logic
theorem proving
formal semantics
inference rules
proof planning
logic programming
artificial intelligence
optimal solution
operational semantics
search procedure
sequent calculus