Open AccessSolving Language Equations and Disequations Using Looping Tree Automata with Colors
Author(s) -
Franz Baader,
Alexander Okhotin
Publication year - 2012
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.185
Subject(s) - concatenation (mathematics) , automaton , exptime , tree automaton , computer science , negation , tree (set theory) , theoretical computer science , set (abstract data type) , mathematics , algorithm , discrete mathematics , computational complexity theory , combinatorics , programming language , pspace