DocumentCode :
2194730
Title :
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
fYear :
2002
fDate :
22-25 July 2002
Keywords :
automata theory; formal logic; lambda calculus; type theory; automata; complexity; games; lambda calculus; model checking; satisfiability; separation logic; type theory;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on
Conference_Location :
Copenhagen, Denmark
ISSN :
1043-6871
Print_ISBN :
0-7695-1483-9
Type :
conf
DOI :
10.1109/LICS.2002.1029811
Filename :
1029811
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2194730
بازگشت