DocumentCode :
2022001
Title :
Proceedings. 20th Annual IEEE Symposium on Logic in Computer Science
fYear :
2005
fDate :
26-29 June 2005
Abstract :
The following topics are dealt with: formal logic; decidability; probabilistics automata; temporal logic; Boolean algebra; formal verification; algebraic specification; bisimulation equivalence; lambda-calculus; pi-calculus; computational complexity.
Keywords :
formal logic; Boolean algebra; algebraic specification; bisimulation equivalence; computational complexity; decidability; formal logic; formal verification; lambda-calculus; pi-calculus; probabilistics automata; temporal logic;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on
Conference_Location :
Chicago, IL, USA
ISSN :
1043-6871
Print_ISBN :
0-7695-2266-1
Type :
conf
DOI :
10.1109/LICS.2005.56
Filename :
1509197
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2022001
بازگشت