18th Annual IEEE Symposium on Logic in Computer Science

• Pubblicazione: [Place of publication not identified], : IEEE Computer Society Press, 2003
• Descrizione fisica: 1 online resource (xiv, 393 pages)
• Disciplina: 004.0151
• Soggetto topico: Computer science - Mathematics; Logic, Symbolic and mathematical
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Sommario/riassunto: 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.
• Titolo autorizzato: 18th Annual IEEE Symposium on Logic in Computer Science
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996198557603316
• Lo trovi qui: Univ. di Salerno