Termination of Narrowing Using Dependency Pairs
DOI10.1007/978-3-540-89982-2_31zbMATH Open1185.68218OpenAlexW1493847381WikidataQ57978208 ScholiaQ57978208MaRDI QIDQ5504664FDOQ5504664
Authors: Santiago Escobar, María Alpuente, José Iborra 
Publication date: 22 January 2009
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_31
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)
Cites Work
- Proving termination of context-sensitive rewriting with MU-TERM
- Termination of term rewriting using dependency pairs
- Rewriting Techniques and Applications
- Logic for Programming, Artificial Intelligence, and Reasoning
- Mechanizing and improving dependency pairs
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
- The integration of functions into logic programming: From theory to practice
- Termination of Narrowing Using Dependency Pairs
- Title not available (Why is that?)
- Termination of narrowing via termination of rewriting
- Narrowing-based simulation of term rewriting systems with extra variables and its termination proof
- Termination of narrowing revisited
- Termination Analysis of Logic Programs Based on Dependency Graphs
- Modular Termination of Basic Narrowing
Cited In (5)
- Termination of narrowing via termination of rewriting
- Reducing relative termination to dependency pair problems
- Goal-directed and relative dependency pairs for proving the termination of narrowing
- Termination of Narrowing Using Dependency Pairs
- An integrated framework for the diagnosis and correction of rule-based programs
Uses Software
This page was built for publication: Termination of Narrowing Using Dependency Pairs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504664)
