Invited Paper: Emil Post's contributions to computer science (at LICS 1989)

Authors: Martin Davis

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 = 	 {Martin Davis},
    title = 	 {Emil Post's contributions to computer science},
    booktitle =  {Proceedings of the Fourth Annual IEEE Symposium on Logic in Computer Science (LICS 1989)},
    year =	 {1989},
    month =	 {June}, 
    pages =      {134--136},
    location =   {Pacific Grove, CA, USA}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }