Q5021005 (Q5021005): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic
+Normal rank
@@ Property / cites work @@
+Formal Language Constrained Reachability and Model Checking Propositional Dynamic Logics
+Normal rank
@@ Property / cites work @@
+The Complexity of Model Checking Higher-Order Fixpoint Logic
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal-Language-Constrained Path Problems
@@ Property / cites work: Formal-Language-Constrained Path Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Saturation-Based Model Checking of Higher-Order Recursion Schemes.
+Normal rank
@@ Property / cites work @@
+Space-efficient fragments of higher-order fixpoint logic
+Normal rank
@@ Property / cites work @@
+Strictness analysis for higher-order functions
@@ Property / cites work: Strictness analysis for higher-order functions / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logics in Computer Science
@@ Property / cites work: Temporal Logics in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q3906386
@@ Property / cites work: Q3906386 / rank @@
+Normal rank
@@ Property / cites work @@
+An even faster solver for general systems of equations
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On the relationship between higher-order recursion schemes and higher-order fixpoint logic
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive Visibly-Pushdown Path Queries
@@ Property / cites work: Conjunctive Visibly-Pushdown Path Queries / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722067
@@ Property / cites work: Q2722067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077463
@@ Property / cites work: Q4077463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875320
@@ Property / cites work: Q3875320 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+A type-directed abstraction refinement approach to higher-order model checking
+Normal rank
@@ Property / cites work @@
+Q4486016
@@ Property / cites work: Q4486016 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4061986
@@ Property / cites work: Q4061986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank