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

閲覧数: 74
ダウンロード数: 0
このエントリーをはてなブックマークに追加

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

フォーマット:
電子ブック
責任表示:
IEEE Staff
本文言語:
英語
出版情報:
Los Alamitos, California. 2002-. IEEE Computer Society Press
概要:
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. 続きを見る
本文を見る

類似資料: