Login / Signup

Towards Completeness via Proof Search in the Linear Time μ-calculus: The case of Büchi inclusions.

Amina DoumaneDavid BaeldeLucca HirschiAlexis Saurin
Published in: LICS (2016)
Keyphrases
  • proof search
  • theorem prover
  • theorem proving
  • linear logic
  • proof planning
  • inference rules
  • proof procedure
  • search procedure
  • sequent calculus
  • artificial intelligence