✦ LIBER ✦

Preface: Volume 70, Issue 4

✍ Scribed by Klaus Havelund; Grigore Rosu

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

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 2

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

✍ Hartmut Ehrig; Claudia Ermel; Julia Padberg 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 49 KB

Preface: Volume 89, Issue 4

✍ Ofer Strichman; Armin Biere 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 42 KB