This volume contains the final versions of a collection of papers presented at the Annual Confere...

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organi...

However, the contributions re?ect the extensive discussions we had during the two weeks in Lipari...

Activities performed in organizations are coordinated via communicationbetween the people involve...

The workshop Computer Science Logic '90 was held at theMax-Planck-Haus inHeidelberg, Germany, O...

This volume presents the proceedings of the workshop CSL '91(ComputerScience Logic) held at...

Endlich liegt der ,,Klassiker' der Theoretischen Informatik, der Studenten und Forschern ein unen...

This volume presents the proceedings of the Computer ScienceLogic Workshop CSL '92, held in Pisa,...

Activities performed in organizations are coordinated via communicationbetween the people involve...

This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is kno...

Thema dieses Buches sind zwei schon Voh Leibniz als zusammengehörend erkannte Begriffe, deren mat...

This volume contains the revised versions of 28 papers presented at the third workshop on Compute...