DocumentCode :
3036505
Title :
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158)
fYear :
1999
fDate :
5-5 July 1999
Abstract :
The following topics were dealt with: guarded logic; bisimulation; lambda calculus; recursive types; abstraction; syntax; complexity; temporal logics; game theory; and correctness proofs
Keywords :
formal logic; abstraction; bisimulation; complexity; correctness proofs; game theory; guarded logic; lambda calculus; recursive types; syntax; temporal logics;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Logic in Computer Science, 1999. Proceedings. 14th Symposium on
Conference_Location :
Trento, Italy
ISSN :
1043-6871
Print_ISBN :
0-7695-0158-3
Type :
conf
DOI :
10.1109/LICS.1999.782575
Filename :
782575
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3036505
بازگشت