Q4993342 (Q4993342): Difference between revisions

@@ Property / describes a project that uses @@
+AVISPA
@@ Property / describes a project that uses: AVISPA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Timbuk
@@ Property / describes a project that uses: Timbuk / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+HANDLING NON LEFT-LINEAR RULES WHEN COMPLETING TREE AUTOMATA
+Normal rank
@@ Property / cites work @@
+Rewriting Approximations for Fast Prototyping of Static Analyzers
+Normal rank
@@ Property / cites work @@
+Reachability Analysis with State-Compatible 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 @@
+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 @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable approximations of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4005203
@@ Property / cites work: Q4005203 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs
+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 @@
+Efficient ground completion
@@ Property / cites work: Efficient ground completion / 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