Title :
Emil Post´s contributions to computer science
Author_Institution :
Courant Inst. of Math. Sci., New York Univ., NY, USA
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;
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
DOI :
10.1109/LICS.1989.39167
