Login / Signup
Towards Completeness via Proof Search in the Linear Time μ-calculus: The case of Büchi inclusions.
Amina Doumane
David Baelde
Lucca Hirschi
Alexis 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