<電子ブック>
17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002)

著者
本文言語
出版者
出版年
出版地
概要 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.
本文を見る Full text available from IEEE Proceedings Order Plan (POP) 1998-present

詳細

レコードID
SSID
eISBN
登録日 2017.03.14
更新日 2017.11.26