Title :
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science
fDate :
June 29 1997-July 2 1997
Abstract :
The following topics were dealt with: rewriting and deduction; linear logic and game semantics; model checking; concurrency; temporal logic and automata; finite model theory; semantics and domain theory; decidability and complexity theory; types and constraints
Keywords :
automata theory; computational complexity; decidability; formal logic; rewriting systems; automata; complexity theory; concurrency; constraints; decidability; deduction; domain theory; finite model theory; game semantics; linear logic; model checking; rewriting; semantics; temporal logic; types;
Conference_Titel :
Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on
Conference_Location :
Warsaw, Poland
Print_ISBN :
0-8186-7925-5
DOI :
10.1109/LICS.1997.614914
