Tarski's influence on computer science

Details Tarski's influence on computer science Tarski's influence on computer science

2006-08-15

arxiv.org/abs/cs/0608062v2

LMCS 2 (3:6) 2006

Computer Science

General Literature

Scientific paper

10.2168/LMCS-2(3:6)2006

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.

Affiliated with

Also associated with

No associations

Rating

Tarski's influence on computer science does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Tarski's influence on computer science, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tarski's influence on computer science will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-99520