The Journal of Logic and Algebraic Programming
Volume 81, Issues 7–8, October–November 2012, Pages 816-850
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories☆
Under an Elsevier user license
open archive
Keywords
Maude
Order-sorted conditional specifications
Rewriting modulo
Formal verification
Church-Rosser property
Coherence
Cited by (0)
Copyright © 2011 Elsevier Inc. All rights reserved.