Equational Complexity of the Finite Algebra Membership Problem.

George F. McNulty Zoltán Székely Ross Willard

Published in: Int. J. Algebra Comput. (2008)

Keyphrases

equational theories
real time
real numbers
computational complexity
worst case
theorem proving
complexity analysis
genetic algorithm
artificial intelligence
social networks
image sequences
expert systems
decision problems