The Kernel Strategy and Its Use for the Study of Combinatory Logic

Authors
L.Wos
Citation
L.wos, The Kernel Strategy and Its Use for the Study of Combinatory Logic, Journal of automated reasoning , 10(3), 1993, pp. 287-344
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
10
Issue
3
Year of publication
1993
Pages
287 - 344
Database
ACNP
SICI code