Login / Signup

Inductive and Coinductive Components of Corecursive Functions in Coq.

Yves BertotEkaterina Komendantskaya
Published in: CMCS (2008)
Keyphrases
  • inductive learning
  • machine learning
  • functional programs
  • inductive logic programming
  • website
  • lower bound
  • formal methods