Jungle rewriting: An abstract description of a lazy narrowing machine (Q5096278): Difference between revisions

@@ 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/3-540-57787-4_8
+Normal rank
@@ Property / OpenAlex ID @@
+W1606124317
@@ Property / OpenAlex ID: W1606124317 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037311
@@ Property / cites work: Q4037311 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
+Normal rank
@@ Property / cites work @@
+Implementing term rewriting by jungle evaluation
@@ Property / cites work: Implementing term rewriting by jungle evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040341
@@ Property / cites work: Q4040341 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5096278