Volume 4, 1996 RWLW96, First International Workshop on Rewriting Logic and its Applications
Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996
: Modelling conditional rewriting logic in structured categories.
: Fast matching in combinations of regular equational theories.
: Foundations of behavioural specification in rewriting logic.
: Solving binary CSP using computational systems.
: Object-oriented specifications of distributed systems in the mu-Calculus and Maude.