Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Fourth Annual IEEE Symposium on

Logic in Computer Science (LICS 1989)

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

Last modified: 2017-04-0512:37
Andrzej Murawski