Equational Lifting Monads.

Anna Bucalo Carsten Führmann Alex K. Simpson

Published in: CTCS (1999)

Keyphrases

theorem proving
wavelet transform
equational theories
theorem prover
lifting scheme
database
pattern recognition
data streams
data sets
genetic algorithm
knowledge base
database systems
natural language
object recognition