Login / Signup
Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs.
David Baelde
Amina Doumane
Denis Kuperberg
Alexis Saurin
Published in:
LICS (2022)
Keyphrases
</>
harmonic functions
hough transform
equational theories
theorem prover
theorem proving
data sets
formal proofs
natural deduction
mathematical proofs
learning algorithm
databases
expert systems
decision procedures
three dimensional
formal proof
radial symmetry
website
image processing