Tarski's influence on computer science

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-poi...

Full description

Saved in:
Bibliographic Details
Published in20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) p. 342
Main Author Feferman, S.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2005
Subjects
Computer science
Formal languages
Logic functions
Mathematics
USA Councils
Online AccessGet full text
ISBN0769522661
9780769522661
ISSN1043-6871
DOI10.1109/LICS.2005.50

Cover

Abstract 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, semantics of formal languages, model theory, and algebraic logic.
AbstractList 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, semantics of formal languages, model theory, and algebraic logic.
Author Feferman, S.
Author_xml – sequence: 1
  givenname: S.
  surname: Feferman
  fullname: Feferman, S.
  organization: Dept. of Math. & Philos., Stanford Univ., CA, USA
BookMark eNotjj1PwzAUAC1RJJrCxsaSCaakz98vI4r4qBSJoWWuXPtZMrROFbcD_x4QTCfdcLqKzfKYibFbDi3n0C2HVb9uBYBuNVywCqzptBDG8Bmbc1CyMWj5FatK-QAAYRTM2f3GTeUzPZQ65bg_U_ZUj7n24-F4PtFUF59-3TW7jG5f6OafC_b-_LTpX5vh7WXVPw5N4lafGhNF4IDktQGNLmgfTPA6Sm9QWAfOOdo5g4pb9KiUDejh50MFdBFpJxfs7q-biGh7nNLBTV9brqETEuU3pfZAVA
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/LICS.2005.50
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
Computer Science
ExternalDocumentID 1509238
Genre teaser-abstract
GroupedDBID --Z
23M
29P
6IE
6IF
6IH
6IK
6IL
6IM
6IN
AAJGR
AAWTH
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IJVOP
IPLJI
M43
OCL
RIE
RIL
RIO
RNS
ID FETCH-LOGICAL-i175t-6f2d108ec56058ad5cd6dc5f3c6827a0aaaeba684178c8447d8c06404d8af8eb3
IEDL.DBID RIE
ISBN 0769522661
9780769522661
ISSN 1043-6871
IngestDate Tue Aug 26 19:22:32 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i175t-6f2d108ec56058ad5cd6dc5f3c6827a0aaaeba684178c8447d8c06404d8af8eb3
ParticipantIDs ieee_primary_1509238
PublicationCentury 2000
PublicationDate 20050000
PublicationDateYYYYMMDD 2005-01-01
PublicationDate_xml – year: 2005
  text: 20050000
PublicationDecade 2000
PublicationTitle 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
PublicationTitleAbbrev LICS
PublicationYear 2005
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0002640
ssj0000451174
Score 1.5847499
Snippet 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...
SourceID ieee
SourceType Publisher
StartPage 342
SubjectTerms Computer science
Formal languages
Logic functions
Mathematics
USA Councils
Title Tarski's influence on computer science
URI https://ieeexplore.ieee.org/document/1509238
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LS8NAEB7anvRSbSu-yUH0Yto8djeTc7FUsSLYQm9lX4FSSMWmF3-9u5uHIh68JYFANmHzfTPzzTcANwI5YQwzs7955BOqIz-NpfYJoZyGMo5QObXFC5suyNOSLltw3_TCaK2d-EwP7aGr5aut3NtU2ciQF8NHsA3tBFnZq9XkU6xPSmipTPUXNkBfORHEPjNRQRmyp5ZusLBy3mnOG0V8Onp-HL-VqRbbiv9j4ooDnEkXZvWjljqTzXBfiKH8_OXi-N-1HMHgu7XPe21A6xhaOu9Bt57t4FVbvQeHs8bPddeH27mJfzfru523roeaeNvck_VtFY4OYDF5mI-nfjVhwV8b2lD4LItUGKCW1FZHuaJSMSVpFkuGUcIDzrkWnCEJE5RISKJQ2tIfUcgzNHH4CXTyba5PrUQqFYoJEVClCBqUM0RFiDQIMkwyrvEM-vYlrN5LE41Vtf7zvy9fwIHzSHW5jkvoFB97fWXQvxDX7rN_AWhyppI
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LT8JAEJ4gHtQLChjf9mD0YqGP3e30TCSgQEyEhBvZVxNCAkbKxV_vbl8a48Fb26Sb7qa7883MN98A3AnkhDFMzP7mgUuoDtw4lNolhHLqyzBAlbEtJmwwI89zOq_BY1ULo7XOyGe6Yy-zXL7ayJ0NlXUNeDF4BPdgnxIzWF6tVUVUrFKKb8FMcQ4bU19oEYQuM35B7rTHFnAwv9Deqe4rTnzcHQ17b3mwxRbj_-i5kpmcfgPG5cfmTJNVZ5eKjvz8peP439kcQ_u7uM95rczWCdT0ugmNsruDU2z2JhyNK0XXbQvup8YDXi0fts6ybGvibNaOLF8rLGkbZv2naW_gFj0W3KUBDqnLkkD5HmpJbX6UKyoVU5ImoWQYRNzjnGvBGRI_QomERAqlTf4RhTxB44mfQn29WeszS5KKhWJCeFQpgsbOGagiROx5CUYJ13gOLbsIi_dcRmNRzP_i78e3cDCYjkeL0XDycgmHmWJqFvm4gnr6sdPXBguk4ib7Bb4AW2Op3w
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=20th+Annual+IEEE+Symposium+on+Logic+in+Computer+Science+%28LICS%27+05%29&rft.atitle=Tarski%27s+influence+on+computer+science&rft.au=Feferman%2C+S.&rft.date=2005-01-01&rft.pub=IEEE&rft.isbn=9780769522661&rft.issn=1043-6871&rft.spage=342&rft_id=info:doi/10.1109%2FLICS.2005.50&rft.externalDocID=1509238
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1043-6871&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1043-6871&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1043-6871&client=summon