✦ LIBER ✦

An Abstraction Algorithm for Combinatory Logic

✍ Scribed by S. Kamal Abdali

Book ID: 124972987
Publisher: Association for Symbolic Logic
Year: 1976
Tongue: English
Weight: 129 KB
Volume: 41
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272961

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Another Algorithm for Bracket Abstractio

Another Algorithm for Bracket Abstraction

✍ D. A. Turner 📂 Article 📅 1979 🏛 Association for Symbolic Logic 🌐 English ⚖ 122 KB

Axioms for Strong Reduction in Combinato

Axioms for Strong Reduction in Combinatory Logic

✍ Roger Hindley 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 900 KB

Abstraction in Algorithmic Logic

✍ Wayne Aitken; Jeffrey A. Barrett 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 413 KB

Combinatorial Algorithms (An Update) ||

✍ Wilf, Herbert S. 📂 Article 📅 1989 🏛 Society for Industrial and Applied Mathematics ⚖ 206 KB

Combinatorial algorithms: an update

✍ Herbert S. Wilf 📂 Library 📅 1987 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 403 KB

This monograph is a survey of some of the work that has been done since the appearance of the second edition of Combinatorial Algorithms. Topics include progress in: Gray Codes, listing of subsets of given size of a given universe, listing rooted and free trees, selecting free trees and unlabeled gr

Combinatory Logic with Discriminators.by

Combinatory Logic with Discriminators.by John T. Kearns

✍ Review by: Jonathan P. Seldin 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 128 KB