This part of the volume contains the papers accepted for presentation at the fifth workshop on
Preface: Volume 66, Issue 3
β Scribed by Vladimiro Sassone
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 49 KB
- Volume
- 66
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
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