On The Equational Theory of Representable Polyadic Equality Algebras.

István Németi Gábor Sági

Published in: J. Symb. Log. (2000)

Keyphrases

computational model
theorem proving
theoretical basis
theoretical framework
equational theories
neural network
information systems
image processing
clustering algorithm