Solomon Feferman - Tarski's influence on computer science

lmcs:2248 - Logical Methods in Computer Science, September 27, 2006, Volume 2, Issue 3 - https://doi.org/10.2168/LMCS-2(3:6)2006
Tarski's influence on computer scienceArticle

Authors: Solomon Feferman

The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental.
Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of elimination of quantifiers, the semantics of formal languages, modeltheoretic preservation theorems, and algebraic logic; various connections of each with computer science are taken up.

https://doi.org/10.2168/LMCS-2(3:6)2006
Source: arXiv.org:cs/0608062
Volume: Volume 2, Issue 3
Secondary volumes: Selected Papers of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005)
Published on: September 27, 2006
Imported on: February 24, 2006
Keywords: Computer Science - General Literature, Computer Science - Logic in Computer Science, F.4.1, F.4.3
Licence: arXiv.org - Assumed non-exclusive license to distribute

Classifications

Mathematics Subject Classification 20201
Sources:
  • [1] zbMATH Open.

6 Documents citing this article

Share and export

Consultation statistics

This page has been seen 3330 times.
This article's PDF has been downloaded 709 times.