Automata for Guarded Fixed Point Logics

DOI10.1007/3-540-36387-4_19zbMath1021.03014OpenAlexW1583582327MaRDI QIDQ4412842

Achim Blumensath, Dietmar Berwanger

Publication date: 16 July 2003

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

Full work available at URL: https://doi.org/10.1007/3-540-36387-4_19

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Automata for Guarded Fixed Point Logics