A Nilregular Element Property.

Thierry Coquand Henri Lombardi Peter Schuster

Published in: Mathematics, Algorithms, Proofs (2005)

Keyphrases

real time
machine learning
pattern recognition
preprocessing
mobile devices
query processing
desirable properties