✦ LIBER ✦

Preface: Volume 70, Issue 2

✍ Scribed by Frank Pfenning

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 41 KB
Volume: 70
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80511-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface: Volume 70, Issue 3

✍ John Derrick; Eerke Boiten; Jim Woodcock; Joakim von Wright 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 47 KB

Preface: Volume 70, Issue 1

✍ Steffen van Bakel 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 43 KB

Preface: Volume 70, Issue 4

✍ Klaus Havelund; Grigore Rosu 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 43 KB

Preface: Volume 70, Issue 6

✍ Bernhard Gramlich; Salvador Lucas 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 55 KB

Reduction strategies in rewriting and programming have attracted an increasing attention within the last years. New types of reduction strategies have been invented and investigated, and new results on rewriting/computation under particular strategies have been obtained. Research in this field range

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