The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments (Q4982126): Difference between revisions

@@ 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.entcs.2009.02.041
+Normal rank
@@ Property / OpenAlex ID @@
+W2066955594
@@ Property / OpenAlex ID: W2066955594 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Modal Satisfiability
@@ Property / cites work: Generalized Modal Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments
+Normal rank
@@ Property / cites work @@
+The Complexity of Generalized Satisfiability for Linear Temporal Logic
+Normal rank
@@ Property / cites work @@
+Satisfiability problems for propositional calculi
@@ Property / cites work: Satisfiability problems for propositional calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Log Space Recognition and Translation of Parenthesis Languages
+Normal rank
@@ Property / cites work @@
+Past is for free: On the complexity of verifying linear temporal properties with past
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Q4354427
@@ Property / cites work: Q4354427 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Optimal satisfiability for propositional calculi and constraint satisfaction problems.
+Normal rank
@@ Property / cites work @@
+Enumerating All Solutions for Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank