Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072): Difference between revisions

@@ Property / author @@
-María Alpuente
@@ Property / author: María Alpuente / rank @@
-Normal rank
@@ Property / author @@
-Demis Ballis
@@ Property / author: Demis Ballis / rank @@
-Normal rank
@@ Property / author @@
-Francisco Frechina
@@ Property / author: Francisco Frechina / rank @@
-Normal rank
@@ Property / author @@
-Julia Sapiña
@@ Property / author: Julia Sapiña / rank @@
-Normal rank
@@ Property / author @@
+María Alpuente
@@ Property / author: María Alpuente / rank @@
+Normal rank
@@ Property / author @@
+Demis Ballis
@@ Property / author: Demis Ballis / rank @@
+Normal rank
@@ Property / author @@
+Francisco Frechina
@@ Property / author: Francisco Frechina / rank @@
+Normal rank
@@ Property / author @@
+Julia Sapiña
@@ Property / author: Julia Sapiña / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iJulienne
@@ Property / describes a project that uses: iJulienne / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DDebugger
@@ Property / describes a project that uses: DDebugger / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Web-TLR
@@ Property / describes a project that uses: Web-TLR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Anima
@@ Property / describes a project that uses: Anima / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ChC 3
@@ Property / describes a project that uses: ChC 3 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2109540130
@@ Property / OpenAlex ID: W2109540130 / rank @@
+Normal rank
@@ Property / cites work @@
+Backward Trace Slicing for Rewriting Logic Theories
+Normal rank
@@ Property / cites work @@
+Backward Trace Slicing for Conditional Rewrite Theories
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763681
@@ Property / cites work: Q2763681 / rank @@
+Normal rank
@@ Property / cites work @@
+A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories
+Normal rank
@@ Property / cites work @@
+Q4447218
@@ Property / cites work: Q4447218 / rank @@
+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 @@
+The Temporal Logic of Rewriting: A Gentle Introduction
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative Debugging of Rewriting Logic Specifications
+Normal rank
@@ Property / cites work @@
+Declarative Debugging of Missing Answers for Maude.
+Normal rank
@@ Property / DBLP publication ID @@
+conf/birthday/AlpuenteBFS14
@@ Property / DBLP publication ID: conf/birthday/AlpuenteBFS14 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5403072