✦ LIBER ✦

Preface: Volume 39, Issue 1

✍ Scribed by Luca Aceto; Björn Victor

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 43 KB
Volume: 39
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)82500-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface: Volume 39, Issue 2

✍ Goubault Eric 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 61 KB

Preface: Volume 44, Issue 1

✍ Andrea Corradini; Marina Lenisa; Ugo Montanari 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 47 KB

Preface: Volume 13, Issue 1

✍ Abbas Edalat; Achim Jung; Klaus Keimel; Marta Kwiatkowska 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 32 KB

This volume contains the proceedings of the Third Workshop on Computation and Approximation (Comprox III). It was held in Birmingham, England, 11-13 September 1997, in combination with a Summer School. The series of Comprox workshops was part of a bilateral project between England and Germany, fund

Preface: Volume 65, Issue 1

✍ Lawrence S. Moss 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 47 KB

as satellite event to ETAPS'2002. Over the last few years it has become clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems can be captured uniformly as coalgebras. The aim of the CMCS workshops is to bring together

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 3, Issue 1

✍ Jean-Yves Girard; Mitsuhiro Okada; Andre Scedrov 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 33 KB

The field of linear logic has developed very rapidly during the last ten years. Linear logic is now one of the most active research areas in Logic and in Theoretical Computer Science. The Linear Logic 96 Tokyo Meeting provided a forum for an exchange of research results and a discussion of the futur