- -

Normal forms and normal theories in conditional rewriting

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Normal forms and normal theories in conditional rewriting

Show full item record

Lucas Alba, S.; Meseguer, J. (2016). Normal forms and normal theories in conditional rewriting. Journal of Logical and Algebraic Methods in Programming. 85(1):67-97. doi:10.1016/j.jlamp.2015.06.001

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/81584

Files in this item

Item Metadata

Title: Normal forms and normal theories in conditional rewriting
Author:
UPV Unit: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Issued date:
Abstract:
We present several new concepts and results on conditional term rewriting within the general framework of order-sorted rewrite theories (OSRTs), which support types, subtypes and rewriting modulo axioms, and contains the ...[+]
Subjects: Conditional term rewriting , Normal forms , Normal theory , Operational termination , Rewriting logic , Maude
Copyrigths: Reserva de todos los derechos
Source:
Journal of Logical and Algebraic Methods in Programming. (issn: 2352-2208 )
DOI: 10.1016/j.jlamp.2015.06.001
Publisher:
Elsevier
Publisher version: http://dx.doi.org/10.1016/j.jlamp.2015.06.001
Description: this is the author’s version of a work that was accepted for publication in Journal of Logical and Algebraic Methods in Programming. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Logical and Algebraic Methods in Programming vol. 85 (2016) DOI 10.1016/j.jlamp.2015.06.001
Thanks:
We thank the anonymous referees for their constructive criticism and helpful comments. This work has been partially supported by NSF grant CNS 13-19109. Salvador Lucas' research was developed during a sabbatical year at ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record