Login / Signup
Inductive and Coinductive Components of Corecursive Functions in Coq
Yves Bertot
Ekaterina Komendantskaya
Published in:
CoRR (2008)
Keyphrases
</>
machine learning
information systems
building blocks
inductive learning
neural network
concept learning
database
databases
information retrieval
e learning
domain knowledge
basis functions
theorem prover
formal methods
functional programs