✦ LIBER ✦

Preface: Volume 66, Issue 6

✍ Scribed by Dorothea Wagner

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 46 KB
Volume: 66
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80530-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface: Volume 66, Issue 1

✍ Vasco Brattka; Matthias Schröder; Klaus Weihrauch 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 46 KB

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

Preface: Volume 66, Issue 2

✍ Rance Cleaveland; Hubert Garavel 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 53 KB

Preface: Volume 66, Issue 3

✍ Vladimiro Sassone 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 49 KB

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

✍ 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

Masthead, Volume 66, Issue 6

📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 57 KB