Q2980977 (Q2980977): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05156
@@ Property / arXiv ID: 1610.05156 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing the complexity of functional programs: higher-order meets first-order
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958380
@@ Property / cites work: Q2958380 / rank @@
+Normal rank
@@ Property / cites work @@
+Handling Left-Quadratic Rules When Completing Tree Automata
+Normal rank
@@ Property / cites work @@
+C-SHORe
@@ Property / cites work: C-SHORe / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic functions with set-theoretic types
@@ Property / cites work: Polymorphic functions with set-theoretic types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5277872
@@ Property / cites work: Q5277872 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequentiality, monadic second-order logic and tree automata.
+Normal rank
@@ Property / cites work @@
+Reachability analysis over term rewriting systems
@@ Property / cites work: Reachability analysis over term rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Closure of Tree Automata Languages under Innermost Rewriting
+Normal rank
@@ Property / cites work @@
+Towards Static Analysis of Functional Programs Using Tree Automata Completion
+Normal rank
@@ Property / cites work @@
+Termination criteria for tree automata completion
@@ Property / cites work: Termination criteria for tree automata completion / rank @@
+Normal rank
@@ Property / cites work @@
+Equational approximations for tree automata completion
+Normal rank
@@ Property / cites work @@
+Q5277878
@@ Property / cites work: Q5277878 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Termination of Programs Automatically with AProVE
+Normal rank
@@ Property / cites work @@
+Mechanizing and improving dependency pairs
@@ Property / cites work: Mechanizing and improving dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Flow analysis of lazy higher-order functional programs
+Normal rank
@@ Property / cites work @@
+Model Checking Higher-Order Programs
@@ Property / cites work: Model Checking Higher-Order Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Checking Higher-Order Programs with Recursive Types
+Normal rank
@@ Property / cites work @@
+Higher-order multi-parameter tree transducers and recursion schemes for program verification
+Normal rank
@@ Property / cites work @@
+Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars
+Normal rank
@@ Property / cites work @@
+Q2843601
@@ Property / cites work: Q2843601 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying higher-order functional programs with pattern-matching algebraic data types
+Normal rank
@@ Property / cites work @@
+Q4938423
@@ Property / cites work: Q4938423 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808743
@@ Property / cites work: Q4808743 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585029
@@ Property / cites work: Q5585029 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723905
@@ Property / cites work: Q2723905 / rank @@
+Normal rank