The Legacy of a Great Researcher (Q4913858): 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/978-3-642-36675-8_1
+Normal rank
@@ Property / OpenAlex ID @@
+W11849181
@@ Property / OpenAlex ID: W11849181 / rank @@
+Normal rank
@@ 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