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

Language Design, Semantics & Verification Methods

Contents

Coordinator's Report
Logic-Based Composition of Logic Languages
Verification, Model Checking and Abstract Interpretation
Concurrent Constraint Programming for Time Critical Applications
Domain Theory in Abstract Interpretation
Verification Techniques for Logic Programming: A Short Survey

[ 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 ]