On sets of solutions to combinator equations (Q582274): Difference between revisions

@@ Property / author @@
-Richard Statman
@@ Property / author: Richard Statman / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B40
@@ Property / Mathematics Subject Classification ID: 03B40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N01
@@ Property / Mathematics Subject Classification ID: 68N01 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+4130343
@@ Property / zbMATH DE Number: 4130343 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+r.e. set of combinators
@@ Property / zbMATH Keywords: r.e. set of combinators / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\(\beta\)-conversion
@@ Property / zbMATH Keywords: \(\beta\)-conversion / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pattern matching
@@ Property / zbMATH Keywords: pattern matching / rank @@
+Normal rank
@@ Property / author @@
+Richard Statman
@@ Property / author: Richard Statman / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(89)90148-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2003021503
@@ Property / OpenAlex ID: W2003021503 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342534
@@ Property / cites work: Q3342534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068081
@@ Property / cites work: Q4068081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714051
@@ Property / cites work: Q3714051 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:582274