Login / Signup
Towards Ludics Programming: Interactive Proof Search.
Alexis Saurin
Published in:
ICLP (2008)
Keyphrases
</>
proof search
theorem prover
programming language
linear logic
theorem proving
inference rules
proof planning
search procedure
np complete