✦ LIBER ✦

Preface: Volume 13, Issue 1

✍ Scribed by Abbas Edalat; Achim Jung; Klaus Keimel; Marta Kwiatkowska

Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 32 KB
Volume: 13
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80209-9

No coin nor oath required. For personal study only.

✦ Synopsis

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, funded by British Council and Deutscher Akademischer Austauschdienst. The project was initiated by Abbas Edalat from Imperial College,

📜 SIMILAR VOLUMES

Preface: Volume 44, Issue 1

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

Preface: Volume 39, Issue 1

✍ Luca Aceto; Björn Victor 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 43 KB

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

Preface: Volume 59, Issue 1

✍ Nick Benton; Andrew Kennedy 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 30 KB