Invited Talk: Emil Post's contributions to computer science (at LICS 1989)
Authors: Davis, M.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
BibTeX
@InProceedings{Davis-EmilPostscontributi, author = {Davis, M.}, title = {Emil Post's contributions to computer science}, booktitle = {Proceedings of the Fourth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1989}, year = 1989, editor = {Rohit Parikh}, month = {June}, pages = {134--136}, location = {Pacific Grove, CA, USA}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }