Transforming termination by self-labelling

DOI10.1007/3-540-61511-3_101MaRDI QIDQ4647535zbMATH OpenOpenAlexFDO

Authors Aart Middeldorp, Hitoshi Ohsaki, Hans Zantema

Publication date 15 January 2019

Published in Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL https://dspace.library.uu.nl/handle/1874/18323

zbMATH Keywords

distribution rulefunction symbolinduction hypothesisreduction ordersemantic labelling

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 794240
• Termination of term rewriting using dependency pairs
• scientific article; zbMATH DE number 1670496
• Innermost termination of rewrite systems by labeling
• Modular and certified semantic labeling and unlabeling

Cites work

• Counterexamples to termination for the direct sum of term rewriting systems
• Dummy elimination: Making termination easier
• scientific article; zbMATH DE number 4180808 (Why is no real title available?)
• scientific article; zbMATH DE number 4047065 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1479616 (Why is no real title available?)
• scientific article; zbMATH DE number 794240 (Why is no real title available?)
• Modular proofs for completeness of hierarchical term rewriting systems
• Modular properties of composable term rewriting systems
• On the Church-Rosser property for the direct sum of term rewriting systems
• Orderings for term-rewriting systems
• Termination by completion
• Termination of rewriting
• Termination of term rewriting: Interpretation and type elimination

Cited in

(11)

• scientific article; zbMATH DE number 1670496 (Why is no real title available?)
• Extending reduction orderings to ACU-compatible reduction orderings
• Root-Labeling
• Size-based termination of higher-order rewriting
• scientific article; zbMATH DE number 794240 (Why is no real title available?)
• Complexity analysis of precedence terminating infinite graph rewrite systems
• Dummy elimination: Making termination easier
• Sparse tiling through overlap closures for termination of string rewriting
• scientific article; zbMATH DE number 7566074 (Why is no real title available?)
• Modular and certified semantic labeling and unlabeling
• Simulating dependency pairs by semantic labeling

This page was built for publication: Transforming termination by self-labelling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647535)