On temporal logics with data variable quantifications: decidability and complexity (Q342712): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2016.08.002
@@ Property / DOI: 10.1016/j.ic.2016.08.002 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6654482
@@ Property / zbMATH DE Number: 6654482 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+temporal logics
@@ Property / zbMATH Keywords: temporal logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+data variable quantifications
@@ Property / zbMATH Keywords: data variable quantifications / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+satisfiability
@@ Property / zbMATH Keywords: satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decidability and complexity
@@ Property / zbMATH Keywords: decidability and complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+alternating register automata
@@ Property / zbMATH Keywords: alternating register automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+data automata
@@ Property / zbMATH Keywords: data automata / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TeMP
@@ Property / describes a project that uses: TeMP / 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.ic.2016.08.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2518211214
@@ Property / OpenAlex ID: W2518211214 / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+Concerning the semantic consequence relation in first-order temporal logic
+Normal rank
@@ Property / cites work @@
+A complete axiomatic characterization of first-order temporal logic of linear time
+Normal rank
@@ Property / cites work @@
+Incompleteness of first-order temporal logic with until
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+Alternating register automata on finite words and trees
+Normal rank
@@ Property / cites work @@
+Temporal Logics on Words with Multiple Data Values.
+Normal rank
@@ Property / cites work @@
+Reasoning about Data Repetitions with Counter Systems
+Normal rank
@@ Property / cites work @@
+Ordered Navigation on Multi-attributed Data Words
@@ Property / cites work: Ordered Navigation on Multi-attributed Data Words / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Systems and Specifications with Parameterized Atomic Propositions
+Normal rank
@@ Property / cites work @@
+An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications
+Normal rank
@@ Property / cites work @@
+A Game-Theoretic Approach to Simulation of Data-Parameterized Systems
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of array-accessing programs
@@ Property / cites work: Algorithmic analysis of array-accessing programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2978518
@@ Property / cites work: Q2978518 / rank @@
+Normal rank
@@ Property / cites work @@
+Monodic temporal resolution
@@ Property / cites work: Monodic temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanising first-order temporal resolution
@@ Property / cites work: Mechanising first-order temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to constraint LTL
@@ Property / cites work: An automata-theoretic approach to constraint LTL / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown Model Checking for Malware Detection
@@ Property / cites work: Pushdown Model Checking for Malware Detection / rank @@
+Normal rank
@@ Property / cites work @@
+LTL Model-Checking for Malware Detection
@@ Property / cites work: LTL Model-Checking for Malware Detection / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about networks with many identical finite state processes
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723423
@@ Property / cites work: Q2723423 / rank @@
+Normal rank
@@ Property / cites work @@
+On Reasoning About Rings
@@ Property / cites work: On Reasoning About Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+Variable Automata over Infinite Alphabets
@@ Property / cites work: Variable Automata over Infinite Alphabets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779173
@@ Property / cites work: Q4779173 / rank @@
+Normal rank
@@ Property / cites work @@
+FINITE-MEMORY AUTOMATA WITH NON-DETERMINISTIC REASSIGNMENT
+Normal rank
@@ Property / cites work @@
+Feasible Automata for Two-Variable Logic with Successor on Data Words
+Normal rank
@@ Property / cites work @@
+Q4649570
@@ Property / cites work: Q4649570 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of data automata that captures XPath
@@ Property / cites work: An extension of data automata that captures XPath / rank @@
+Normal rank
@@ Property / cites work @@
+Q4964723
@@ Property / cites work: Q4964723 / rank @@
+Normal rank
@@ Property / cites work @@
+CLASS COUNTING AUTOMATA ON DATAWORDS
@@ Property / cites work: CLASS COUNTING AUTOMATA ON DATAWORDS / rank @@
+Normal rank
@@ Property / cites work @@
+Extending two-variable logic on data trees with order on data values and its automata
+Normal rank
@@ Property / cites work @@
+On pebble automata for data languages with decidable emptiness problem
+Normal rank
@@ Property / cites work @@
+Graph Reachability and Pebble Automata over Infinite Alphabets
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5--13, 2014. Proceedings
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data words
@@ Property / cites work: Two-variable logic on data words / rank @@
+Normal rank
@@ Property / cites work @@
+On Freeze LTL with Ordered Attributes
@@ Property / cites work: On Freeze LTL with Ordered Attributes / rank @@
+Normal rank
@@ Property / cites work @@
+On notions of regularity for data languages
@@ Property / cites work: On notions of regularity for data languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the universal and existential fragments of the \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Context-free languages over infinite alphabets
@@ Property / cites work: Context-free languages over infinite alphabets / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2016.08.002
@@ Property / DOI: 10.1016/J.IC.2016.08.002 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:342712