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