LTL over integer periodicity constraints (Q2503321): Difference between revisions

@@ Property / author @@
-Stéphane P. Demri
@@ Property / author: Stéphane P. Demri / rank @@
-Normal rank
@@ Property / author @@
+Stéphane P. Demri
@@ Property / author: Stéphane P. Demri / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.02.019
+Normal rank
@@ Property / OpenAlex ID @@
+W2152132130
@@ Property / OpenAlex ID: W2152132130 / rank @@
+Normal rank
@@ Property / cites work @@
+The power of temporal proofs
@@ Property / cites work: The power of temporal proofs / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time logics: Complexity and expressiveness
@@ Property / cites work: Real-time logics: Complexity and expressiveness / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737132
@@ Property / cites work: Q4737132 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Symbolic Representations for Arithmetic Constraints in Verification
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
+Normal rank
@@ Property / cites work @@
+Q2754107
@@ Property / cites work: Q2754107 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding properties of integral relational automata
+Normal rank
@@ Property / cites work @@
+Q4938418
@@ Property / cites work: Q4938418 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4514735
@@ Property / cites work: Q4514735 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing and Reasoning about Temporal Granularities
+Normal rank
@@ Property / cites work @@
+Q2753678
@@ Property / cites work: Q2753678 / rank @@
+Normal rank
@@ Property / cites work @@
+Presburger liveness verification of discrete timed automata.
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q4415249
@@ Property / cites work: Q4415249 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940885
@@ Property / cites work: Q4940885 / rank @@
+Normal rank
@@ Property / cites work @@
+The Expressive Power of Temporal Logic of Actions
@@ Property / cites work: The Expressive Power of Temporal Logic of Actions / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for the First Order Theory of Real Addition with Order
+Normal rank
@@ Property / cites work @@
+Q4415251
@@ Property / cites work: Q4415251 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501546
@@ Property / cites work: Q4501546 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics Between Propositional and First-order
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of modal and temporal logics with reference pointers
+Normal rank
@@ Property / cites work @@
+A classification of symbolic transition systems
@@ Property / cites work: A classification of symbolic transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738225
@@ Property / cites work: Q4738225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536619
@@ Property / cites work: Q5536619 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretability of arithmetic in temporal logic
+Normal rank
@@ Property / cites work @@
+Q4778773
@@ Property / cites work: Q4778773 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Computer Science
@@ Property / cites work: Theoretical Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753006
@@ Property / cites work: Q2753006 / rank @@
+Normal rank
@@ Property / cites work @@
+NEXP TIME-complete description logics with concrete domains
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Q4493899
@@ Property / cites work: Q4493899 / rank @@
+Normal rank
@@ Property / cites work @@
+Precise interprocedural analysis through linear algebra
+Normal rank
@@ Property / cites work @@
+Calendar Logic
@@ Property / cites work: Calendar Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to constraint databases
@@ Property / cites work: Introduction to constraint databases / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Datalog with integer periodicity constraints
@@ Property / cites work: Datalog with integer periodicity constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Impossibility of an algorithm for the decision problem in finite classes
+Normal rank
@@ Property / cites work @@
+Q4348133
@@ Property / cites work: Q4348133 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518891
@@ Property / cites work: Q4518891 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2503321