Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
From MaRDI portal
Publication:2945713
DOI10.1007/978-3-319-23165-5_15zbMath1321.68330OpenAlexW2294311355MaRDI QIDQ2945713
Salvador Lucas, Raúl Gutiérrez
Publication date: 14 September 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10251/50750
Related Items
mu-term: Verify Termination Properties Automatically (System Description), Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Completeness of context-sensitive rewriting
- Tyrolean termination tool: techniques and features
- Mechanizing and improving dependency pairs
- Context-sensitive dependency pairs
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Generalized sufficient conditions for modular termination of rewriting
- On the modularity of termination of term rewriting systems
- Termination of term rewriting using dependency pairs
- Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
- Proving Termination Properties with mu-term
- Usable Rules for Context-Sensitive Rewrite Systems
- Proving innermost normalisation automatically
- Termination of context-sensitive rewriting
- Term Rewriting and All That
- Proving Termination in the Context-Sensitive Dependency Pair Framework
- Polynomials over the reals in proofs of termination : from theory to practice
- Context-Sensitive Dependency Pairs
- On the Completeness of Context-Sensitive Order-Sorted Specifications
- Improving Context-Sensitive Dependency Pairs
- Rewriting Techniques and Applications