Logic in Computer Science (LICS 1989)

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}
  }