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

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

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

• 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?)
• Families of recognizable sets corresponding to certain varieties of finite monoids
• 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)

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