The Legacy of a Great Researcher (Q4913858): Difference between revisions

@@ Property / cites work @@
+Single axioms for odd exponent groups
@@ Property / cites work: Single axioms for odd exponent groups / rank @@
+Normal rank
@@ Property / cites work @@
+Single axioms for the left group and right group calculi
+Normal rank
@@ Property / cites work @@
+Solution of the Robbins problem
@@ Property / cites work: Solution of the Robbins problem / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction in equational logic and cubic curves
+Normal rank
@@ Property / cites work @@
+Single identities for lattice theory and for weakly associative lattices
+Normal rank
@@ Property / cites work @@
+Automated discovery of single axioms for ortholattices
+Normal rank
@@ Property / cites work @@
+The absence and the presence of fixed point combinators
+Normal rank
@@ Property / cites work @@
+The kernel strategy and its use for the study of combinatory logic
+Normal rank
@@ Property / cites work @@
+Q4792019
@@ Property / cites work: Q4792019 / rank @@
+Normal rank
@@ Property / cites work @@
+The hot list strategy
@@ Property / cites work: The hot list strategy / rank @@
+Normal rank