Lics

IEEE Symposium on Logic in Computer Science

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

Twentieth Annual IEEE Symposium on

Logic in Computer Science (LICS 2005)

Invited Paper: Tarski's Influence on Computer Science (at LICS 2005)

Authors: Solomon Feferman

Abstract

The great logician Alfred Tarski played one of the leading roles in the development of mathematical logic in the twentieth century, as much for the programs he promoted and the conceptual organization of the subject as for his many important results. Except for his fixed-point theorem, Tarski’s influence on computer science has been largely indirect but nevertheless substantial. I shall survey this influence through his work in the areas of decision procedures, semantics of formal languages, model theory, and algebraic logic.

BibTeX

  @InProceedings{Feferman-TarskisInfluenceonC,
    author = 	 {Solomon Feferman},
    title = 	 {Tarski's Influence on Computer Science},
    booktitle =  {Proceedings of the Twentieth Annual IEEE Symposium on Logic in Computer Science (LICS 2005)},
    year =	 {2005},
    month =	 {June}, 
    pages =      {342--342},
    location =   {Chicago, USA}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2018-06-2121:59
Andrzej Murawski