22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) Wroclaw, Poland - 10-14 July 2007
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | Los Alamitos : IEEE Computer Society Press |
| Description | 490, 48 papers p. 11.000 x 08.500 in. |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Supplemental Content | Full text available from IEEE Conference Proceedings Archive 2005-2009 |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Subjects |
| Summary | Annotation LICS is an annual international symposium on theoretical and practical topics in computer science focusing on the field of logic. The proceedings looks at finite model theory, formal aspects of program analysis, formal methods, logical aspects of computational complexity, logics in AI, logics of programs, and logic programming. LICS 2007 also concentrates on the latest research on automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, and domain theory.Contents: Type Theory; Computational Proof Theory; Security; Timed and Stochastic Systems; Verification; Constraints; Proof Complexity; Finite Model Theory; Concurrency and Process Calculi; Semantics of Programming Languages; Game Semantics; Linear Logic; Topology and Computable Mathematics |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9780769529080 |
| ISBN | 0769529089 (Trade Paper) Active Record |
| Stock number | 00029433 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |