Tarski's influence on computer science
<|reference_start|>Tarski's influence on computer science: 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.<|reference_end|>
@article{feferman2006tarski's,
    title={Tarski's influence on computer science},
    author={Solomon Feferman},
    journal={Logical Methods in Computer Science, Volume 2, Issue 3 (September
  27, 2006) lmcs:2248},
    year={2006},
    doi={10.2168/LMCS-2(3:6)2006},
    archivePrefix={arXiv},
    eprint={cs/0608062},
    primaryClass={cs.GL cs.LO}
}