Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science (90CH2897-7)

fYear

1990

fDate

4-7 June 1990

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e

Conference_Location

Philadelphia, PA, USA

Print_ISBN

0-8186-2073-0

Type

conf

DOI

10.1109/LICS.1990.113773

Filename

113773