On Statman's Finite Completeness Theorem.

Richard Statman Gilles Dowek

Published in: CoRR (2023)

Keyphrases

equational theories
multimedia
data quality
von neumann
data mining
information retrieval
genetic algorithm
artificial intelligence
computer vision
multiscale
medical images
fixed order
monadic datalog