Recursive Proof Composition from Accumulation Schemes.

Benedikt Bünz Alessandro Chiesa Pratyush Mishra Nicholas Spooner

Published in: TCC (2) (2020)

Keyphrases

web service composition
information systems
knowledge base
theorem proving
recursive algorithm
proof search
databases
website
linear logic
allocation scheme
automated theorem proving
natural deduction
mathematical proofs