1990 Annals of Pure and Applied Logic  
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. Suggested, but not exclusive, topics of interest include: 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
more » ... intelligence, logic programming, modal and temporal logics, program logic and semantics, rewrite rules, software specification, type systems, verification. Conference co-chairmen are J.W. Klop, Ctr.
doi:10.1016/0168-0072(90)90056-8 fatcat:2fhhk7g6kze6vavtdn25aksmxy