Developments in Language Theory

DOI10.1007/B103739zbMath1117.03317DBLPconf/dlt/2004OpenAlexW2496880349MaRDI QIDQ5711966

Anca Muscholl, Igor Walukiewicz

Publication date: 22 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b103739

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

This page was built for publication: Developments in Language Theory