Login / Signup

Metaconfluence of Calculi with Explicit Substitutions at a Distance.

Flávio L. C. de MouraDelia KesnerMauricio Ayala-Rincón
Published in: FSTTCS (2014)
Keyphrases
  • average distance
  • hidden markov models
  • distance measure
  • information retrieval
  • genetic algorithm
  • website