Volume 15; Issue none

Electronic Notes in Theoretical Computer Science

Volume 15; Issue none
3

Rewriting Logic as a Logic of Special Relations

W. Marco Schorlemmer
Journal:
Electronic Notes in Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 1.27 MB
english, 1998
4

Term Rewriting for Sale

M.G.J. van den Brand, P. Klint, C. Verhoef
Journal:
Electronic Notes in Theoretical Computer Science
Year:
1998
Language:
kurdish
File:
PDF, 1.12 MB
kurdish, 1998
10

Scoped Metatheorems

David Basin, Seán Matthews
Journal:
Electronic Notes in Theoretical Computer Science
Year:
1998
File:
PDF, 623 KB
1998
23

Maude as a Metalanguage

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J.F. Quesada
Journal:
Electronic Notes in Theoretical Computer Science
Year:
1998
Language:
finnish
File:
PDF, 697 KB
finnish, 1998
25

Preface: Volume 15

Claude Kirchner, Hélène Kirchner
Journal:
Electronic Notes in Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 39 KB
english, 1998