Finite Axiomatizability and Theories with Trivial Algebraic Closure.

Dugald Macpherson

Published in: Notre Dame J. Formal Log. (1991)

Keyphrases

equational theories
theoretical framework
closure properties
finite number
neural network
artificial intelligence
image processing
linear algebra
finite automata
machine learning
multi agent systems
cognitive psychology
unit length