A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Francisco Durán, José Meseguer. A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. In Peter Csaba Ölveczky, editor, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers. Volume 6381 of Lecture Notes in Computer Science, pages 69-85, Springer, 2010. [doi]

The following publications are possibly variants of this publication:

Maude: specification and programming in rewriting logicManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. TCS, 285(2):187-243, 2002. [doi]

A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite TheoriesFrancisco Durán, José Meseguer. WRLA 2010: 86-103 [doi]

Some ToolsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo. maude 2007: 667-693 [doi]

On the Church-Rosser and coherence properties of conditional order-sorted rewrite theoriesFrancisco Durán, José Meseguer. jlp, 81(7-8):816-850, 2012. [doi]

Using MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 31-37 [doi]

Mobile MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo. maude 2007: 485-522 [doi]

runs on WebDSL