scientific article; zbMATH DE number 1088019
From MaRDI portal
Publication:4364365
zbMath0886.68033MaRDI QIDQ4364365
Ginés Moreno, Germán Vidal, María Alpuente, Moreno Falaschi
Publication date: 17 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Rules + strategies for transforming lazy functional logic programs ⋮ A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424. ⋮ Optimization of rewrite theories by equational partial evaluation ⋮ Optimizing Maude programs via program specialization ⋮ Loop detection in term rewriting using the eliminating unfoldings ⋮ Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
This page was built for publication:
