On Proof Schemata and Primitive Recursive Arithmetic.

Alexander Leitsch Anela Lolic Stella Mahler

Published in: LPAR Complementary Volume (2024)

Keyphrases

arithmetic operations
theorem prover
databases
high level
multiresolution
floating point
linear logic
database
reinforcement learning
theorem proving
recursive algorithm
recursive queries
mathematical proofs
data sets
proof theory