Automata and logics over finitely varying functions

DOI10.1016/J.APAL.2009.07.007zbMath1221.03031OpenAlexW2136951784MaRDI QIDQ636272

Deepak D'Souza, Pavithra Prabhakar, Fabrice Chevalier, M. Raj Mohan

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.07.007

zbMATH Keywords

first-order logicmonadic second-order logicfinite variabilitysignal languages

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• The monadic theory of order
• A theory of timed automata
• Star free expressions over the reals
• Finite variability interpretation of monadic logic of order
• Timer formulas and decidable metric temporal logic
• Weak Second‐Order Arithmetic and Finite Automata
• Counter-Free Input-Determined Timed Automata
• The benefits of relaxing punctuality
• From finite automata toward hybrid systems (Extended abstract)
• On finite monoids having only trivial subgroups
• On Continuous Timed Automata with Input-Determined Guards
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: Automata and logics over finitely varying functions