Any Gound Associative-Commutative Theory Has a Finite Canonical System.

Paliath Narendran Michaël Rusinowitch

Published in: RTA (1991)

Keyphrases

theoretical framework
theoretical basis
special case
theoretical foundation
computational model
data sets
neural network
machine learning
image processing
multiscale
multi agent
video sequences
search algorithm
finite automata
equational theories