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.)