01859oam 2200421zu 450 991087292820332120241212215210.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: Monograph9780769518848 0769518842 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.0151PQKBPROCEEDING991087292820332118th Annual IEEE Symposium on Logic in Computer Science2320818UNINA