Circular Coinduction: A Proof Theoretical Foundation.

Grigore Rosu Dorel Lucanu

Published in: CALCO (2009)

Keyphrases

theoretical foundation
theoretical framework
theorem proving
hough transform
theorem prover
linear logic
real time
data sets
image sequences
distance learning
mathematical proofs