Narrowing directed by a graph of terms

DOI10.1007/3-540-53904-2_90zbMath1503.68094OpenAlexW1548910228MaRDI QIDQ5055753

Jacques Chabin, Pierre Réty

Publication date: 9 December 2022

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

Full work available at URL: https://doi.org/10.1007/3-540-53904-2_90

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items (6)

Narrowing directed by a graph of terms ⋮ A compositional semantic basis for the analysis of equational Horn programs ⋮ Loop detection in term rewriting using the eliminating unfoldings ⋮ Termination of Narrowing in Left-Linear Constructor Systems ⋮ On the connection between narrowing and proof by consistency ⋮ Termination of narrowing revisited

Cites Work

• Narrowing directed by a graph of terms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Narrowing directed by a graph of terms