Vectorial languages and linear temporal logic

DOI10.1016/S0304-3975(03)00346-3MaRDI QIDQ1884965zbMATH OpenOpenAlexFDO

Authors Olivier Serre

Publication date 27 October 2004

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(03)00346-3

zbMATH Keywords

Linear temporal logic and extensionsParallel automata simulation

Mathematics Subject Classification ID

Temporal logic (03B44) Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Real-time vector automata
• On the expressive power of temporal logic
• The complexity of propositional linear temporal logics
• Automata and temporal logic over arbitrary linear time
• From cascade decompositions to bit-vector algorithms.

Cites work

• Families of recognizable sets corresponding to certain varieties of finite monoids
• scientific article; zbMATH DE number 4028925 (Why is no real title available?)
• scientific article; zbMATH DE number 1304310 (Why is no real title available?)
• scientific article; zbMATH DE number 618821 (Why is no real title available?)
• scientific article; zbMATH DE number 1949642 (Why is no real title available?)
• scientific article; zbMATH DE number 3368555 (Why is no real title available?)
• On finite monoids having only trivial subgroups
• On the expressive power of temporal logic
• The complexity of propositional linear temporal logics
• VECTOR ALGORITHMS FOR APPROXIMATE STRING MATCHING

Cited in

(7)

• Logspace and logtime leaf languages
• Linear future semantics and its implementation
• Real-time vector automata
• Hybrid languages and temporal logic
• scientific article; zbMATH DE number 1949642 (Why is no real title available?)
• scientific article; zbMATH DE number 761292 (Why is no real title available?)
• Cyclic vector languages

This page was built for publication: Vectorial languages and linear temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1884965)