Nonfinite Axiomatizability of the Equational Theory of Shuffle.

Zoltán Ésik Michael Bertol

Published in: ICALP (1995)

Keyphrases

equational theories
theoretical framework
theorem proving
inference rules
general theory
formal theory
multi agent systems
information technology
artificial neural networks
modal logic
conceptual framework
theorem prover
mathematical foundations