Abstract :
The LICS Symposium aims for wide coverage of theoretical and practical issues in computer science that relate to logic in a broad sense, including algebraic, categorical and topological approaches. The following topics are dealt with: abstract data types, automated deduction, concurrency, constructive mathematics, data base theory, finite model theory, knowledge representation, lambda and combinatory calculi, logical aspects of computational complexity, logics in artificial intelligence, logic programming, modal and temporal logics, program logic and semantics, rewrite rules, software specification, type systems and verification
Keywords :
artificial intelligence; computational complexity; data structures; database theory; formal specification; knowledge representation; logic programming; program verification; rewriting systems; abstract data types; artificial intelligence; automated deduction; combinatory calculi; computational complexity; computer science; concurrency; constructive mathematics; data base theory; finite model theory; knowledge representation; lambda; logic programming; logical aspects; modal; program logic; rewrite rules; semantics; software specification; temporal logics; type systems;
Conference_Titel :
Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e
