Narciso Martí-Oliet, Peter Csaba Ölveczky
Special Issue of the Eighth International Workshop on Rewriting Logic and its Applications
WRLA-J-2010, 2012.

@proceedings{WRLA-J-2010,
	editor        = "Narciso Martí-Oliet and Peter Csaba Ölveczky",
	journal       = "{Journal of Logic and Algebraic Programming}",
	number        = "7-8",
	title         = "{Special Issue of the Eighth International Workshop on Rewriting Logic and its Applications}",
	volume        = 81,
	year          = 2012,
}

Contents (6 items)

3 ×#logic

WRLA-J-2010-Meseguer12 #logic

Twenty years of rewriting logic (JM), pp. 721–781.

WRLA-J-2010-Marti-OlietPV12 #logic #overview #topic

Rewriting logic bibliography by topic: 1990-2011 (NMO, MP, AV), pp. 782–815.

WRLA-J-2010-DuranM12 #on the #order

On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (FD, JM), pp. 816–850.

WRLA-J-2010-RiescoVMC12 #debugging #declarative #logic #specification

Declarative debugging of rewriting logic specifications (AR, AV, NMO, RC), pp. 851–897.

WRLA-J-2010-EscobarSM12 #termination

Folding variant narrowing and optimal variant termination (SE, RS, JM), pp. 898–928.

WRLA-J-2010-KatelmanKM12 #semantics #set

Rewriting semantics of production rule sets (MK, SK, JM), pp. 929–956.