Strong and Weak Operational Termination of Order-Sorted Rewrite Theories

DOI10.1007/978-3-319-12904-4_10zbMath1367.68144OpenAlexW31417447MaRDI QIDQ2945137

Salvador Lucas, José Meseguer

Publication date: 9 September 2015

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-12904-4_10

zbMATH Keywords

conditional term rewritingrewriting logicMaudeirreducible termsnormalized termsstrong and weak operational termination

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

Rewriting Strategies and Strategic Rewrite Programs ⋮ Normal forms and normal theories in conditional rewriting ⋮ Localized Operational Termination in General Logics

Uses Software

• Maude

This page was built for publication: Strong and Weak Operational Termination of Order-Sorted Rewrite Theories