scientific article
From MaRDI portal
Publication:2844056
zbMath1270.68135MaRDI QIDQ2844056
Toshiki Sakabe, Naoki Nishida, Masahiko Sakai
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104806935
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Relative termination via dependency pairs ⋮ Reducing Relative Termination to Dependency Pair Problems ⋮ Termination of narrowing via termination of rewriting ⋮ Termination of Narrowing in Left-Linear Constructor Systems ⋮ Termination of Narrowing Using Dependency Pairs ⋮ Transformation for Refining Unraveled Conditional Term Rewriting Systems
This page was built for publication:
