On Closure under Complementation of Equational Tree Automata for Theories Extending AC.

Kumar Neeraj Verma

Browse the full LPAR paper archive.