01484oam 2200385zu 450 99621893510331620210807003237.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: Monograph0-7695-0725-5 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.0151PQKBPROCEEDING99621893510331615th Annual IEEE Symposium on Logic in Computer Science2298366UNISA