DocumentCode :
3112232
Title :
22nd Annual IEEE Symposium on Logic in Computer Science-Title
fYear :
2007
fDate :
10-14 July 2007
Abstract :
The following topics are dealt with: type theory; computational proof theory; timed and stochastic systems; verification; constraints; proof complexity; semantics of programming languages; game semantics; linear logic; topology and computable mathematics.
Keywords :
formal logic; formal verification; programming language semantics; stochastic systems; theorem proving; type theory; computable mathematics; computational proof theory; constraints; game semantics; linear logic; programming languages semantics; proof complexity; stochastic systems; topology; type theory; verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on
Conference_Location :
Wroclaw
ISSN :
1043-6871
Print_ISBN :
0-7695-2908-9
Type :
conf
DOI :
10.1109/LICS.2007.2
Filename :
4276540
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3112232
بازگشت