A geometric interpretation of LD-resolution (Q596040): Difference between revisions

@@ Property / cites work @@
+Modules with decompositions that complement direct summands
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472207
@@ Property / cites work: Q4472207 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic Unification as a Geometric Operation in Free Modules over certain Rings
+Normal rank
@@ Property / cites work @@
+Q4068686
@@ Property / cites work: Q4068686 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040874
@@ Property / cites work: Q4040874 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4849470
@@ Property / cites work: Q4849470 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864468
@@ Property / cites work: Q4864468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4877698
@@ Property / cites work: Q4877698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4235430
@@ Property / cites work: Q4235430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919057
@@ Property / cites work: Q3919057 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical systems, measures, and fractals via domain theory
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3829671
@@ Property / cites work: Q3829671 / rank @@
+Normal rank
@@ Property / cites work @@
+The design of linear algebra and geometry
@@ Property / cites work: The design of linear algebra and geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized metrics and uniquely determined logic programs.
+Normal rank
@@ Property / cites work @@
+Vectorial equations solving for mechanical geometry theorem proving
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996846
@@ Property / cites work: Q3996846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499241
@@ Property / cites work: Q4499241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4844167
@@ Property / cites work: Q4844167 / rank @@
+Normal rank
@@ Property / cites work @@
+The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines
+Normal rank
@@ Property / cites work @@
+Continuation-Based Program Transformation Strategies
+Normal rank