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

@@ 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