15th Annual IEEE Symposium on Logic in Computer Science

• Record Nr.: UNISA996218935103316
• Pubbl/distr/stampa: [Place of publication not identified], : IEEE Computer Society Press, 2000
• Descrizione fisica: 1 online resource (500 pages)
• Disciplina: 004.0151
• Soggetti: Computer science - Mathematics
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Sommario/riassunto: 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.