scientific article; zbMATH DE number 2124969

zbMath1086.68027MaRDI QIDQ4832299

Santiago Escobar

Publication date: 4 January 2005

Full work available at URL: http://iospress.metapress.com/link.asp?id=a5e3nlc7k0nd4baw

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

term rewriting systemsFunctional and logic programmingprogram analysis and transformationrewriting (narrowing) strategies

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: