Login / Signup
Inductive and Coinductive Components of Corecursive Functions in Coq.
Yves Bertot
Ekaterina Komendantskaya
Published in:
CMCS (2008)
Keyphrases
</>
inductive learning
machine learning
functional programs
inductive logic programming
website
lower bound
formal methods