Login / Signup

A point-free perspective on lax extensions and predicate liftings.

Sergey GoncharovDirk HofmannPedro NoraLutz SchröderPaul Wild
Published in: Math. Struct. Comput. Sci. (2024)
Keyphrases
  • first order logic
  • artificial intelligence
  • hidden markov models
  • genetic algorithm
  • wide range
  • search algorithm
  • natural language
  • efficient implementation
  • control points
  • sample points