Strong and Weak Operational Termination of Order-Sorted Rewrite Theories
From MaRDI portal
Publication:2945137
DOI10.1007/978-3-319-12904-4_10zbMath1367.68144OpenAlexW31417447MaRDI QIDQ2945137
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
conditional term rewritingrewriting logicMaudeirreducible termsnormalized termsstrong and weak operational termination
Related Items
Rewriting Strategies and Strategic Rewrite Programs, Normal forms and normal theories in conditional rewriting, Localized Operational Termination in General Logics
Uses Software