Decidable Problems in Shallow Equational Theories (Extended Abstract)

Hubert Comon Marianne Haberstrau Jean-Pierre Jouannaud

Published in: LICS (1992)

Keyphrases

extended abstract
equational theories
evolutionary algorithm
databases
optimization problems
machine learning
video sequences
domain knowledge
software engineering