## Narciso Martí-Oliet, José Meseguer

*Special Issue of the First International Workshop on Rewriting Logic and its Applications*

WRLA-J-1996, 2002.

@proceedings{WRLA-J-1996,
editor = "Narciso Martí-Oliet and José Meseguer",
journal = "{Theor. Comput. Sci}",
number = 2,
title = "{Special Issue of the First International Workshop on Rewriting Logic and its Applications}",
volume = 285,
year = 2002,
}

### Contents (11 items)

- WRLA-J-1996-Marte-OlietM02 #logic #overview #roadmap
- Rewriting logic: roadmap and bibliography (NMO, JM), pp. 121–154.
- WRLA-J-1996-BorovanskyKKM02 #logic #perspective
- ELAN from a rewriting logic point of view (PB, CK, HK, PEM), pp. 155–185.
- WRLA-J-1996-ClavelDELMMQ02 #logic #maude #named #programming #specification
- Maude: specification and programming in rewriting logic (MC, FD, SE, PL, NMO, JM, JFQ), pp. 187–243.
- WRLA-J-1996-ClavelM02 #logic
- Reflection in conditional rewriting logic (MC, JM), pp. 245–288.
- WRLA-J-1996-DiaconescuF02 #logic
- Logical foundations of CafeOBJ (RD, KF), pp. 289–318.
- WRLA-J-1996-GadducciM02 #calculus #logic
- Comparing logics for rewriting: rewriting logic, action calculi and tile logic (FG, UM), pp. 319–358.
- WRLA-J-1996-OlveczkyM02 #hybrid #logic #realtime #specification
- Specification of real-time and hybrid systems in rewriting logic (PCÖ, JM), pp. 359–405.
- WRLA-J-1996-PitaM02 #maude #network #object-oriented #specification
- A Maude specification of an object-oriented model for telecommunication networks (IP, NMO), pp. 407–439.
- WRLA-J-1996-Talcott02 #logic
- Actor theories in rewriting logic (CLT), pp. 441–485.
- WRLA-J-1996-Viry02 #equation #logic
- Equational rules for rewriting logic (PV), pp. 487–517.
- WRLA-J-1996-WirsingK02 #approach #formal method #object-oriented #re-engineering
- A formal approach to object-oriented software engineering (MW, AK), pp. 519–560.