The Equational Theory of Is Decidable, but Not Finitely Axiomatisable.

Roberto Di Cosmo Thomas Dufour

Published in: LPAR (2004)

Keyphrases

machine learning
theoretical framework
theorem proving
general theory
real time
real world
information systems
special case
query language
computational model
theoretical foundation
computational models
finite number
theoretical basis
inductive inference