Title :
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332)
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;
Conference_Titel :
Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on
Conference_Location :
Santa Barbara, CA, USA
Print_ISBN :
0-7695-0725-5
DOI :
10.1109/LICS.2000.855749
