Login / Signup

Focus-style proofs for the two-way alternation-free μ-calculus.

Jan RooduijnYde Venema
Published in: CoRR (2023)
Keyphrases
  • natural deduction
  • neural network
  • learning algorithm
  • theorem proving
  • automated deduction
  • formal proof