Foundations of Software Science and Computation Structures

DOI10.1007/11690634zbMath1180.03034OpenAlexW2504714231MaRDI QIDQ5899095

Christof Löding, Olivier Serre

Publication date: 2 May 2007

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items (3)

Propositional dynamic logic of context-free programs and fixpoint logic with chop ⋮ Branching-time logics with path relativisation ⋮ Visibly linear temporal logic

This page was built for publication: Foundations of Software Science and Computation Structures