<eBook>
17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002)

Creator
Language
Publisher
Year
Place
Abstract Drawn from the July 2002 conference in Copenhagen, these 40 papers address issues like: automatic decidability, model checking, probabilistic abstraction, separation logic, stratified semantics, semantic subtyping, the lambda Y calculus, dense real-time games, monadic queries, tree extension algebra, prepositional modal logic, polarized games, differential calculus, intuitive set theory, dynamic complexity classes, unsatisfied random formulas, description logics, first-order branching temporal logics, fixed-point logic, and linearity in process languages. Only authors appear in the index. Annotation copyrighted by Book News, Inc., Portland, OR.
View fulltext Full text available from IEEE Proceedings Order Plan (POP) 1998-present

Details

Record ID
SSID
eISBN
Created Date 2017.03.14
Modified Date 2017.11.26