On finite domains in first-order linear temporal logic
From MaRDI portal
Publication:1990508
DOI10.1007/978-3-319-46520-3_14zbMath1398.68252OpenAlexW2523172211MaRDI QIDQ1990508
Julien Brunel, Denis Kuperberg, David Chemouil
Publication date: 25 October 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-46520-3_14
Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)
Related Items (2)
A decidable and expressive fragment of Many-Sorted first-order linear temporal logic ⋮ Sound verification procedures for temporal properties of infinite-state systems
This page was built for publication: On finite domains in first-order linear temporal logic
