18th Annual IEEE Symposium on Logic in Computer Science

Annotation The LICS proceedings covers topics that include automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, and domain theory. The program also looks into finite model theo...

Ausführliche Beschreibung

Gespeichert in:
Körperschaft:
IEEE Computer Society Staff
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE Computer Society Press 2003
Zusammenfassung:
Annotation The LICS proceedings covers topics that include automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, and domain theory. The program also looks into finite model theory, formal aspects of program analysis, formal methods, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logics of programs, and logic programming.
Umfang:
1 online resource (xiv, 393 pages)
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
Schlagworte:
Computer science > Mathematics > Congresses.
Logic, Symbolic and mathematical > Congresses.
Bezugswerke: