Iterative Circular Coinduction for CoCasl in Isabelle/HOL.

Daniel Hausmann Till Mossakowski Lutz Schröder

Published in: FASE (2005)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
first order logic
higher order logic
database
sufficient conditions
data sets
iterative optimization
cut elimination
logic programming
hough transform
data driven
knowledge representation
information retrieval
databases
formal methods
sequent calculus