scientific article; zbMATH DE number 1841826

zbMath0999.03019MaRDI QIDQ4783314

Stephan Kreutzer, Erich Grädel, Anuj Dawar

Publication date: 4 December 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420277

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (1)

Three notes on the complexity of model checking fixpoint logic with chop

This page was built for publication: