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