DocumentCode
2221457
Title
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332)
fYear
2000
fDate
26-28 June 2000
Abstract
The following topics were dealt with: logic in computer science; computational complexity; type systems; decidability; definability; pattern matching; theorem proving; game semantics; modal logic; temporal logic; term algebra; model checking; bisimulation; and query processing
Keywords
computational complexity; computer science; database theory; formal logic; theorem proving; bisimulation; computational complexity; computer science; decidability; definability; formal logic; game semantics; modal logic; model checking; pattern matching; query processing; temporal logic; term algebra; theorem proving; type systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on
Conference_Location
Santa Barbara, CA, USA
ISSN
1043-6871
Print_ISBN
0-7695-0725-5
Type
conf
DOI
10.1109/LICS.2000.855749
Filename
855749
Link To Document