Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus.

Jan Rooduijn Yde Venema

Published in: WoLLIC (2023)

Keyphrases

automated theorem proving
theorem proving
natural deduction
cut elimination
data sets
computer vision
website
search algorithm
theorem prover
proof search