Login / Signup

MiniAgda: Integrating Sized and Dependent Types.

Andreas Abel
Published in: PAR@ITP (2010)
Keyphrases
  • real time
  • machine learning
  • genetic algorithm
  • high level
  • information technology
  • color images
  • special case