✦ LIBER ✦

Preface: Volume 41, Issue 3

✍ Scribed by Alan Jeffrey

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 41 KB
Volume: 41
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80875-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface: Volume 41, Issue 2

✍ Peter Sewell 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 39 KB

This issue results from the 4th International Workshop on High-Level Concurrent Languages (HLCL 2000), held as a satellite event to PLI 2000 in Montreal, Canada, on September 20, 2000. The workshop is intended to bring together active researchers involved in the design, development, foundations, and

Preface: Volume 41, Issue 1

✍ Graham Hutton 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 30 KB

Preface: Volume 82, Issue 3

✍ Barrett Bryant; João Saraiva 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 48 KB

Preface: Volume 30, Issue 3

✍ Ines Dutra; Vítor Santos Costa; Gopal Gupta; Enrico Pontelli; Manuel Carro; Pete 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 40 KB

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

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