Weakly Iterated Block Products and Applications to Logic and Complexity.

Howard Straubing Pascal Tesson Denis Thérien

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

Keyphrases

modal logic
neural network
worst case
logic programming
space complexity
automated reasoning
genetic algorithm
computational complexity
complexity analysis
classical logic