Nonfinite Axiomatizability of the Equational Theory of Shuffle.

Zoltán Ésik Michael Bertol

Published in: Acta Informatica (1998)

Keyphrases

theorem proving
theoretical framework
equational theories
real time
neural network
data mining
search engine
information systems
website
database systems
optimal solution
computational model
conceptual framework
decision theory
formal theory