New short proofs to some stability theorems.

Published in: Eur. J. Comb. (2021)

Keyphrases

sequent calculus
proof search
cut elimination
theorem proving
formal proof
neural network
theorem prover
modal logic
decision procedures
equational theories
information retrieval
genetic algorithm
multi agent
video sequences
natural deduction
digital topology