Volume 285; Issue 2

Theoretical Computer Science

Volume 285; Issue 2
1

Preface

Narciso Martı&amp, #x0301, -Oliet, José Meseguer
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 42 KB
english, 2002
2

Rewriting logic: roadmap and bibliography

Narciso Martı́-Oliet, José Meseguer
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 360 KB
english, 2002
3

ELAN from a rewriting logic point of view

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 281 KB
english, 2002
5

Reflection in conditional rewriting logic

Manuel Clavel, José Meseguer
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 412 KB
english, 2002
6

Logical foundations of CafeOBJ

Răzvan Diaconescu, Kokichi Futatsugi
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 297 KB
english, 2002
7

Comparing logics for rewriting: rewriting logic, action calculi and tile logic

Fabio Gadducci, Ugo Montanari
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 385 KB
english, 2002
8

Specification of real-time and hybrid systems in rewriting logic

Peter Csaba Ölveczky, José Meseguer
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 395 KB
english, 2002
10

Actor theories in rewriting logic

Carolyn Talcott
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 333 KB
english, 2002
11

Equational rules for rewriting logic

Patrick Viry
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 328 KB
english, 2002
12

A formal approach to object-oriented software engineering

Martin Wirsing, Alexander Knapp
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 262 KB
english, 2002
13

Author index

Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 63 KB
english, 2002