Login / Signup
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems.
Carlos Olarte
Elaine Pimentel
Camilo Rocha
Published in:
J. Log. Algebraic Methods Program. (2023)
Keyphrases
</>
proof search
cut elimination
sequent calculus
inference rules
natural deduction
theorem prover
linear logic
theorem proving
modal logic
sequent calculi
proof planning
wide class
asynchronous circuits
scheduling problem