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

@@ Property / describes a project that uses @@
+Erlang
@@ Property / describes a project that uses: Erlang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+McErlang
@@ Property / describes a project that uses: McErlang / rank @@
+Normal rank
@@ 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.05.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2077398822
@@ Property / OpenAlex ID: W2077398822 / rank @@
+Normal rank
@@ 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