Publication:5747087
From MaRDI portal
zbMath1359.68155MaRDI QIDQ5747087
Franz Baader, Alexander Okhotin
Publication date: 11 February 2014
68Q45: Formal languages and automata
68Q70: Algebraic theory of languages and automata
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)