Backward Trace Slicing for Rewriting Logic Theories (Q5200013): 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 @@
+María Alpuente
@@ Property / author: María Alpuente / rank @@
+Normal rank
@@ Property / author @@
+Demis Ballis
@@ Property / author: Demis Ballis / 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 @@
+Freja
@@ Property / describes a project that uses: Freja / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hat
@@ Property / describes a project that uses: Hat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hood
@@ Property / describes a project that uses: Hood / 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 @@
+SPIN
@@ Property / describes a project that uses: SPIN / 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.1007/978-3-642-22438-6_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1503576365
@@ Property / OpenAlex ID: W1503576365 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57978148
@@ Property / Wikidata QID: Q57978148 / rank @@
+Normal rank
@@ Property / cites work @@
+Backward Trace Slicing for Rewriting Logic Theories
+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 @@
+Parametric Trace Slicing and Monitoring
@@ Property / cites work: Parametric Trace Slicing and Monitoring / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763389
@@ Property / cites work: Q2763389 / 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 @@
+Q4447218
@@ Property / cites work: Q4447218 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426386
@@ Property / cites work: Q4426386 / 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 @@
+Declarative Debugging of Missing Answers for Maude.
+Normal rank