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

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