Exploring conditional rewriting logic computations (Q485831): 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 @@
+ChC 3
@@ Property / describes a project that uses: ChC 3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Julienne
@@ Property / describes a project that uses: Julienne / 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 / 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.jsc.2014.09.028
+Normal rank
@@ Property / OpenAlex ID @@
+W2079684794
@@ Property / OpenAlex ID: W2079684794 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57978116
@@ Property / Wikidata QID: Q57978116 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis and caching of dependencies
@@ Property / cites work: Analysis and caching of dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Backward Trace Slicing for Conditional Rewrite Theories
+Normal rank
@@ Property / cites work @@
+Rewriting-based repairing strategies for XML repositories
+Normal rank
@@ Property / cites work @@
+Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Descendants and origins in term rewriting.
@@ Property / cites work: Descendants and origins in term rewriting. / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+Provenance as dependency analysis
@@ Property / cites work: Provenance as dependency analysis / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+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 @@
+Q4023900
@@ Property / cites work: Q4023900 / 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 @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+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 / cites work @@
+Declarative debugging of rewriting logic specifications
+Normal rank
@@ Property / cites work @@
+A Generic Program Slicing Technique Based on Language Definitions
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Origin tracking
@@ Property / cites work: Origin tracking / rank @@
+Normal rank