DocumentCode
2597256
Title
Emil Post´s contributions to computer science
Author
Davis, Martin
Author_Institution
Courant Inst. of Math. Sci., New York Univ., NY, USA
fYear
1989
fDate
5-8 Jun 1989
Firstpage
134
Lastpage
136
Abstract
The work of mathematical logician Emil Post is surveyed from the viewpoint of its relevance to computer science. Computational logic and production systems are first discussed. This is followed by an examination of Post´s work on finite combinatory processes and reducibility
Keywords
formal logic; reviews; Emil Post; computational logic; computer science; finite combinatory processes; mathematical logician; production systems; reducibility; Calculus; Computer science; Karhunen-Loeve transforms; Logic; Mathematics; Production systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on
Conference_Location
Pacific Grove, CA
Print_ISBN
0-8186-1954-6
Type
conf
DOI
10.1109/LICS.1989.39167
Filename
39167
Link To Document