# Tarski's influence on computer science

@article{Feferman2005TarskisIO, title={Tarski's influence on computer science}, author={S. Feferman}, journal={20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)}, year={2005}, pages={342-} }

Summary form only given. 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. The author surveys this influence through his work in the areas of decision procedures… Expand

#### Topics from this paper

#### 11 Citations

A relation-algebraic approach to the "Hoare logic" of functional dependencies

- Computer Science, Mathematics
- J. Log. Algebraic Methods Program.
- 2014

Pointfree foundations for (generic) lossless decomposition

- Computer Science
- 2011

Functions as types or the "Hoare logic" of functional dependencies

- Computer Science, Mathematics
- ArXiv
- 2012

Alloy Meets the Algebra of Programming: A Case Study

- Computer Science
- IEEE Transactions on Software Engineering
- 2013

Design of High Performance Quaternary Adders

- Computer Science
- 2011 41st IEEE International Symposium on Multiple-Valued Logic
- 2011

#### References

SHOWING 1-10 OF 85 REFERENCES

The axiom of elementary sets on the edge of Peircean expressibility

- Computer Science, Mathematics
- Journal of Symbolic Logic
- 2005

Little engines of proof

- Computer Science
- Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
- 2002

Quantifier elimination for real closed fields by cylindrical algebraic decomposition

- Mathematics, Computer Science
- 1975

Quantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary report

- Mathematics, Computer Science
- SIGS
- 1974

A 2^2^2^pn Upper Bound on the Complexity of Presburger Arithmetic

- Computer Science, Mathematics
- J. Comput. Syst. Sci.
- 1978