Volume 124; Issue 1

4

Principles of Chemical Programming

Year:
2005
Language:
english
File:
PDF, 255 KB
english, 2005
5

Strategy Construction in the Higher-Order Framework of TL

Year:
2005
Language:
english
File:
PDF, 350 KB
english, 2005
6

Preface

Year:
2005
Language:
english
File:
PDF, 69 KB
english, 2005
7

Playing with Maude

Year:
2005
Language:
english
File:
PDF, 284 KB
english, 2005
8

On-demand Evaluation for Maude

Year:
2005
Language:
english
File:
PDF, 276 KB
english, 2005
9

A Rewriting-based Framework for Web Sites Verification

Year:
2005
Language:
english
File:
PDF, 358 KB
english, 2005