๐”– Bobbio Scriptorium
โœฆ   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

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