Login / Signup

Partial Proof Terms in the Study of Idealized Proof Search.

José Espírito SantoAna Catarina Sousa
Published in: CICM (2024)
Keyphrases
  • proof search
  • linear logic
  • theorem prover
  • theorem proving
  • proof planning
  • cut elimination