Canonical completeness of infinitary mu.

Gerhard Jäger Mathis Kretz Thomas Studer

Published in: J. Log. Algebraic Methods Program. (2008)

Keyphrases

development environment
real world
information retrieval
image processing
data structure
least squares
distributed systems
data quality
canonical form