C o m p u t a t i o n a l    L o g i c

Program Development

Contents

Coordinator's Report
LOPSTR'97: Seventh International Workshop on Logic Program Synthesis and Transformation.
ILPS'97 Workshop on Specialization of Declarative Programs and its Applications
LOPSTR'98
Detecting and Exploiting Determinacy in Logic Programs
The DiSCiPl Project: Debugging Systems for Constraint Programming

[ Automated Deduction Systems ] [ Computational Logic & Machine Learning ] [ Concurrent & Constraint Logic Programming ] [ Language Design, Semantics & Verification Methods ] [ Logic Based Databases ] [ Program Development ] [ Knowledge Representation & Reasoning ]

[ Home ] [ Editorial ] [ Network Activities ] [ Industrial News ] [ International Relations ] [ Area News ] [ Education ]