International Workshop on Rewriting Logic and its Applications Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998.
: Adventures in sequent calculus modulo equations.
: Reflection in general logics, rewriting logic, and Maude.
: From rewrite theories to temporal logic theories.
: A logic for modular descriptions of asynchronous and synchronized concurrent systems.
: Controlling rewriting: study and implementation of a strategy formalism.
: Term rewriting with operator evaluation strategies.
: Membership equational logic, calculus of inductive instructions, and rewrite logic.
: Object-oriented specification of distributed systems.