|Issue 98062||Editor: Erik Sandewall||5.8.1998|
Today, responses by authors for two ETAI submitted articles.
Additional debate contributions have been received for the following article(s). Please click the title of the article to link to the interaction page, containing both new and old contributions to the discussion.
Iliano Cervesato, Massimo Franceschet, and Angelo Montanari
The Complexity of Model Checking in Modal Event Calculi with Quantifiers
Marc Denecker, Daniele Theseider Dupré, and Kristof Van Belleghem
An Inductive Definition Approach to Ramifications