Relating graph and term rewriting via Böhm models (Q1924551): Difference between revisions

@@ Property / cites work @@
+Properties of a first-order functional language with sharing
+Normal rank
@@ Property / cites work @@
+LEAN: An intermediate language based on graph rewriting
+Normal rank
@@ Property / cites work @@
+Graph-grammars and their application to computer science. 2nd International Workshop, Haus Ohrbeck, Germany, October 4-8, 1982. ''Under the auspices of the European Association for Theoretical Computer Science''
+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 @@
+REDEX CAPTURING IN TERM GRAPH REWRITING
@@ Property / cites work: REDEX CAPTURING IN TERM GRAPH REWRITING / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+On ``On graph rewritings''
@@ Property / cites work: On ``On graph rewritings'' / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite reductions in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Q4023829
@@ Property / cites work: Q4023829 / rank @@
+Normal rank
@@ Property / cites work @@
+On graph rewritings
@@ Property / cites work: On graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287535
@@ Property / cites work: Q5287535 / rank @@
+Normal rank
@@ Property / cites work @@
+The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty  $-Models of the Lambda-Calculus
+Normal rank
@@ Property / cites work @@
+Approximate Reduction and Lambda Calculus Models
@@ Property / cites work: Approximate Reduction and Lambda Calculus Models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4182475
@@ Property / cites work: Q4182475 / rank @@
+Normal rank