DocumentCode
3290586
Title
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science
fYear
1997
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on
Conference_Location
Warsaw, Poland
ISSN
1043-6871
Print_ISBN
0-8186-7925-5
Type
conf
DOI
10.1109/LICS.1997.614914
Filename
614914
Link To Document