DocumentCode
2893643
Title
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science (Cat. No.92CH3127-8)
fYear
1992
fDate
22-25 June 1992
Abstract
The following topics are dealt with: lambda and related calculi; computation theory; logic; logic programming; programming theory; concurrent computation; and programming language theory. Abstracts of individual papers can be found under the relevant classification codes in this or other issues
Keywords
formal logic; logic programming; programming languages; programming theory; computation theory; concurrent computation; lambda calculus; logic; logic programming; programming language theory; programming theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on
Conference_Location
Santa Cruz, CA, USA
Print_ISBN
0-8186-2735-2
Type
conf
DOI
10.1109/LICS.1992.185513
Filename
185513
Link To Document