Improving Context-Sensitive Dependency Pairs
From MaRDI portal
Publication:5505586
DOI10.1007/978-3-540-89439-1_44zbMath1182.68092OpenAlexW2149277601MaRDI QIDQ5505586
René Thiemann, Carsten Fuhs, Jürgen Giesl, Peter Schneider-Kamp, Beatriz Alarcón, Raúl Gutiérrez, Fabian Emmes, Salvador Lucas
Publication date: 27 January 2009
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89439-1_44
Related Items
mu-term: Verify Termination Properties Automatically (System Description) ⋮ Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting ⋮ Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications ⋮ Lazy productivity via termination ⋮ Characterizing and proving operational termination of deterministic conditional term rewriting systems ⋮ Context-sensitive dependency pairs ⋮ Applications and extensions of context-sensitive rewriting ⋮ From Outermost to Context-Sensitive Rewriting
This page was built for publication: Improving Context-Sensitive Dependency Pairs