𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Preface: Volume 66, Issue 1

✍ Scribed by Vasco Brattka; Matthias Schröder; Klaus Weihrauch

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
46 KB
Volume
66
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

✦ Synopsis

This part of the volume contains the papers accepted for presentation at the fifth workshop on

📜 SIMILAR VOLUMES

Preface: Volume 66, Issue 2
Preface: Volume 66, Issue 2
✍ Rance Cleaveland; Hubert Garavel 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 53 KB
Preface: Volume 66, Issue 3
Preface: Volume 66, Issue 3
✍ Vladimiro Sassone 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 49 KB
Preface: Volume 66, Issue 4
Preface: Volume 66, Issue 4
✍ Antonio Brogi; Ernesto Pimentel 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 34 KB

The workshop on "Formal methods and component interaction" was held in Málaga, Spain, on July 12, 2002, as a satellite event of the 29th International Colloquium on Automata, Languages, and Programming (ICALP'2002). The main objective of the workshop was to provide a forum to discuss the applicatio

Preface: Volume 66, Issue 5
Preface: Volume 66, Issue 5
✍ Patrik Eklund; Manuel Ojeda-Aciego 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 44 KB

This part of the volume contains the papers accepted for presentation at the workshop on Unification in Non-Classical Logics (UNCL), co-located with ICALP 2002, which took place on July 12, 2002 in M\'alaga, Spain. The workshop was concerned with one of the most promising areas of research on non-c

Preface: Volume 66, Issue 6
Preface: Volume 66, Issue 6
✍ Dorothea Wagner 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 46 KB