Title :
Proceedings of the Third Annual Symposium on Logic in Computer Science (Cat. No.88CH2608-8)
Abstract :
The following topics are dealt with: abstract data types; computer theorem proving; concurrency; database theory; knowledge representation; finite model theory; lambda and combinatory calculi; logic programming; modal and temporal logics; semantics; program logic; software specification, types and categories; constructive mathematics; and verification. Abstracts of individual papers can be found under the relevant classification codes in this or other issues
Keywords :
formal logic; logic programming; theorem proving; abstract data types; categories; combinatory calculi; concurrency; constructive mathematics; database theory; finite model theory; knowledge representation; lambda calculus; logic programming; modal logics; program logic; semantics; software specification; temporal logics; theorem proving; verification;
Conference_Titel :
Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on
Conference_Location :
Edinburgh, UK
Print_ISBN :
0-8186-0853-6
DOI :
10.1109/LICS.1988.5106
