Volume 36; Issue none

1

Defining Standard Prolog in Rewriting Logic

Year:
2000
Language:
english
File:
PDF, 170 KB
english, 2000
2

ASF+SDF parsing tools applied to ELAN

Year:
2000
Language:
english
File:
PDF, 178 KB
english, 2000
6

New Foundations for Rewriting Logic

Year:
2000
Language:
english
File:
PDF, 284 KB
english, 2000
7

The simply typed rewriting calculus

Year:
2000
Language:
english
File:
PDF, 202 KB
english, 2000
8

Behavioral and Coinductive Rewriting (invited talk)

Year:
2000
Language:
english
File:
PDF, 196 KB
english, 2000
9

Preface: Volume 36

Year:
2000
Language:
english
File:
PDF, 38 KB
english, 2000
13

Polytypic Programming in Maude

Year:
2000
Language:
english
File:
PDF, 187 KB
english, 2000
14

Parameterized Theories and Views in Full Maude 2.0

Year:
2000
Language:
english
File:
PDF, 198 KB
english, 2000
15

Towards Maude 2.0

Year:
2000
Language:
english
File:
PDF, 185 KB
english, 2000
17

Simple Network Protocol Simulation within Maude

Year:
2000
Language:
english
File:
PDF, 153 KB
english, 2000
23

Modal Logic for Rewriting Theories

Year:
2000
Language:
english
File:
PDF, 203 KB
english, 2000