Another algorithm for bracket abstraction

Journal of Symbolic Logic 44 (2):267-270 (1979)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2273733
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 25,651
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Gapping as Constituent Coordination.Mark J. Steedman - 1990 - Linguistics and Philosophy 13 (2):207 - 263.

Add more citations

Similar books and articles
The Limits of Abstraction.Kit Fine - 2002 - Oxford University Press.
Can Machines Think? An Old Question Reformulated.Achim Hoffmann - 2010 - Minds and Machines 20 (2):203-212.
An Abstraction Algorithm for Combinatory Logic.S. Kamal Abdali - 1976 - Journal of Symbolic Logic 41 (1):222-224.
Some Improvements to Turner's Algorithm for Bracket Abstraction.M. W. Bunder - 1990 - Journal of Symbolic Logic 55 (2):656-669.
Compact Bracket Abstraction in Combinatory Logic.Sabine Broda & Luís Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.
Expedited Broda-Damas Bracket Abstraction.M. W. Bunder - 2000 - Journal of Symbolic Logic 65 (4):1850-1857.

Monthly downloads

Added to index

2009-01-28

Total downloads

183 ( #22,939 of 2,143,562 )

Recent downloads (6 months)

1 ( #386,856 of 2,143,562 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums