Equational Abstractions for Reducing the State Space of Rewrite Theories (Q5179134): Difference between revisions

@@ Property / cites work @@
+Q4808829
@@ Property / cites work: Q4808829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+State Space Reduction of Rewrite Theories Using Invisible Transitions
+Normal rank
@@ Property / cites work @@
+Rewriting logic: Roadmap and bibliography
@@ Property / cites work: Rewriting logic: Roadmap and bibliography / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction and Model Checking of Core Erlang Programs in Maude
+Normal rank
@@ Property / cites work @@
+Q2849558
@@ Property / cites work: Q2849558 / rank @@
+Normal rank