Login / Signup

Dual Calculus with Inductive and Coinductive Types.

Daisuke KimuraMakoto Tatsuta
Published in: RTA (2009)
Keyphrases
  • machine learning
  • databases
  • clustering algorithm
  • knowledge representation
  • convergence rate
  • algebraic structure