Structure sharing for quantified terms: Fundamentals (Q911773): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5663380
@@ Property / cites work: Q5663380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive synthesis of the unification algorithm
@@ Property / cites work: Deductive synthesis of the unification algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Computation on graph-like expressions
@@ Property / cites work: Computation on graph-like expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient unification of quantified terms
@@ Property / cites work: Efficient unification of quantified terms / rank @@
+Normal rank