✦ LIBER ✦

Preface: Volume 58, Issue 2

✍ Scribed by Maria Paola Bonacina; Bernhard Gramlich

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface: Volume 58, Issue 1

✍ Simon J. Ambler; Roy L. Crole; Alberto Momigliano 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 42 KB

Mechanised Reasoning about Languages with Variable Binding 2001This volume contains the Proceedings of the Workshop on Mechanised Reasoning about Languages with Variable Binding (MERLIN 2001), which was held in conjunction with IJCAR 2001, the International Joint Conference on Automated Reasoning. T

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 44, Issue 2

✍ Mark van den Brand; Didier Parigot 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 48 KB

Preface: Volume 89, Issue 2

✍ Oleg Sokolsky; Mahesh Viswanathan 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 47 KB

Preface: Volume 52, Issue 2

✍ Eric Goubault 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 38 KB

Preface: Volume 82, Issue 2

✍ Knoop Jens; Zimmermann Wolf 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 40 KB