Breaking the Loop: Recursive Proofs for Coinductive Predicates in Fibrations.

Published in: CoRR (2018)

Keyphrases

datalog programs
theorem prover
theorem proving
user defined
decision procedures
genetic algorithm
information systems
knowledge representation
recursive algorithm
natural deduction
formal proofs
multiscale
probabilistic model
recursive queries
equational theories
mathematical proofs