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

Views: 76
Downloads: 0
このエントリーをはてなブックマークに追加

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

Format:
eBook
Responsibility:
IEEE Staff
Language:
English
Publication info:
Los Alamitos, California. 2002-. IEEE Computer Society Press
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. Read more
View fulltext

Similar Items: