Improving Context-Sensitive Dependency Pairs
From MaRDI portal
Publication:5505586
DOI10.1007/978-3-540-89439-1_44zbMath1182.68092MaRDI 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
68Q42: Grammars and rewriting systems
Related Items
Lazy productivity via termination, Characterizing and proving operational termination of deterministic conditional term rewriting systems, Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications, Context-sensitive dependency pairs, Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting, From Outermost to Context-Sensitive Rewriting