01514oam 2200397zu 450 991087276600332120241212214804.0(CKB)111026746701456(SSID)ssj0000454871(PQKBManifestationID)12176930(PQKBTitleCode)TC0000454871(PQKBWorkID)10397986(PQKB)10989575(NjHacI)99111026746701456(EXLCZ)9911102674670145620160829d2000 uy engur|||||||||||txtccr15th Annual IEEE Symposium on Logic in Computer Science[Place of publication not identified]IEEE Computer Society Press20001 online resource (500 pages)Bibliographic Level Mode of Issuance: Monograph9780769507255 0769507255 This volume contains 39 papers from the June 2000 conference, addressing such topics as game semantics, complete axiomatization, modality, decision procedures for term algebras, set theory, query processing, and constraint satisfaction. Name index only. Annotation copyrighted by Book News, Inc., Portland, OR.Computer scienceMathematicsCongressesComputer scienceMathematics004.0151PQKBPROCEEDING991087276600332115th Annual IEEE Symposium on Logic in Computer Science2298366UNINA