Volume 238; Issue 3

1

Strategy-Based Proof Calculus for Membrane Systems

Year:
2009
Language:
english
File:
PDF, 423 KB
english, 2009
3

Variant Narrowing and Equational Unification

Year:
2009
Language:
english
File:
PDF, 370 KB
english, 2009
7

Memory Representations in Rewriting Logic Semantics Definitions

Year:
2009
Language:
english
File:
PDF, 482 KB
english, 2009
9

Which Soft Constraints do you Prefer?

Year:
2009
Language:
english
File:
PDF, 321 KB
english, 2009
13

Preface

Year:
2009
Language:
english
File:
PDF, 109 KB
english, 2009
14

Hierarchical Design Rewriting with Maude

Year:
2009
Language:
english
File:
PDF, 853 KB
english, 2009