scientific article; zbMATH DE number 2090310
From MaRDI portal
Publication:4809069
zbMath1072.68537MaRDI QIDQ4809069
Salvador Lucas, Albert Rubio, Cristina Borralleras
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920314.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
Relaxing monotonicity for innermost termination ⋮ Proving termination of context-sensitive rewriting by transformation ⋮ Polynomials over the reals in proofs of termination : from theory to practice ⋮ Unnamed Item ⋮ Proving operational termination of membership equational programs ⋮ Context-sensitive dependency pairs ⋮ Proving Termination Properties with mu-term ⋮ Lazy Rewriting and Context-Sensitive Rewriting ⋮ Context-sensitive rewriting strategies ⋮ Improving the Context-sensitive Dependency Graph ⋮ Proving Termination of Context-Sensitive Rewriting with MU-TERM
This page was built for publication:
