✦ LIBER ✦

Preface: Volume 70, Issue 3

✍ Scribed by John Derrick; Eerke Boiten; Jim Woodcock; Joakim von Wright

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface: Volume 70, Issue 1

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

Preface: Volume 70, Issue 2

✍ Frank Pfenning 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 41 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 3

✍ Alan Jeffrey 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 41 KB

Preface: Volume 82, Issue 3

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