Theories with Equational Forking.

Markus Junker Ingo Kraus

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

Keyphrases

equational theories
theorem proving
theoretical framework
three dimensional
search algorithm
expert systems
evolutionary algorithm
general theory
formal models