TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Please select your role
to obtain appropriate quick-links.
As a LIPIcs/OASIcs author, you will be invited by e-mail to register at the Dagstuhl Submission Server. The server will guide you through the publication workflow. Preliminary information can be found here:
Quick Links

Research Meeting 97363

CCL'97: Annual Workshop of the ESPRIT Working Group "Construction of Computational Logic II"

( Sep 03 – Sep 05, 1997 )
Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/97363
Organizers
  • F. Baader (Aachen)
  • G. Smolka (DFKI-Saarbrücken & Uni-Saarbrücken)
  • H. Comon (LRI, Paris-Sud)
Contact
External Homepage
Seminar 97363
© 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
ImprintContactAccessibilityPrivacy