Unravelings and ultra-properties
From MaRDI portal
Publication:2956716
DOI10.1007/3-540-61735-3_7zbMath1355.68142OpenAlexW1587116809MaRDI QIDQ2956716
Publication date: 19 January 2017
Published in: Algebraic and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61735-3_7
Related Items (15)
Unnamed Item ⋮ Transformations of Conditional Rewrite Systems Revisited ⋮ Dependency pairs for proving termination properties of conditional term rewriting systems ⋮ The theory of vaccines ⋮ Determinization of conditional term rewriting systems ⋮ Formalizing Soundness and Completeness of Unravelings ⋮ On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings ⋮ Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems ⋮ Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems ⋮ Completion after Program Inversion of Injective Functions ⋮ Characterizing and proving operational termination of deterministic conditional term rewriting systems ⋮ Proving operational termination of membership equational programs ⋮ Applications and extensions of context-sensitive rewriting ⋮ Operational termination of conditional term rewriting systems ⋮ Transformation for Refining Unraveled Conditional Term Rewriting Systems
This page was built for publication: Unravelings and ultra-properties