ILPS97 Invited Talks

Temporal Logic Model Checking
Ed Clarke

Inductive Databases and Condensed Representations for Data Mining
Heikki Mannila

Program Analysis via Graph Reachability
Tom Reps


11 Aug 1997, Ulf Nilsson