OTTER experiments in a system of combinatory logic (Q1893130): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+math/9409201
@@ Property / arXiv ID: math/9409201 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Systems of combinatory logic related to Quine's `New Foundations'
+Normal rank
@@ Property / cites work @@
+Single axioms for groups
@@ Property / cites work: Single axioms for groups / rank @@
+Normal rank
@@ Property / cites work @@
+Automated discovery of new axiomatizations of the left group and right group calculi
+Normal rank
@@ Property / cites work @@
+Single axioms for groups and abelian groups with various operations
+Normal rank
@@ Property / cites work @@
+The kernel strategy and its use for the study of combinatory logic
+Normal rank