zbMath0978.68077MaRDI QIDQ2769435
Moshe Y. Vardi, Orna Kupferman, Valerie King
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2030/20300276
Mathematics Subject Classification ID
68Q25: Analysis of algorithms and problem complexity
68Q45: Formal languages and automata