01829oam 2200409zu 450 99619855760331620210807003352.0(CKB)111085500343016(SSID)ssj0000455436(PQKBManifestationID)12155336(PQKBTitleCode)TC0000455436(PQKBWorkID)10401018(PQKB)11090646(NjHacI)99111085500343016(EXLCZ)9911108550034301620160829d2003 uy engur|||||||||||txtccr18th Annual IEEE Symposium on Logic in Computer Science[Place of publication not identified]IEEE Computer Society Press20031 online resource (xiv, 393 pages)Bibliographic Level Mode of Issuance: Monograph0-7695-1884-2 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.Computer scienceMathematicsCongressesLogic, Symbolic and mathematicalCongressesComputer scienceMathematicsLogic, Symbolic and mathematical004.0151PQKBPROCEEDING99619855760331618th Annual IEEE Symposium on Logic in Computer Science2320818UNISA