✦ LIBER ✦

Preface: Volume 70, Issue 1

✍ Scribed by Steffen van Bakel

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 43 KB
Volume: 70
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80497-9

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 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 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