Publication:4364365
From MaRDI portal
zbMath0886.68033MaRDI QIDQ4364365
Ginés Moreno, Germán Vidal, María Alpuente, Moreno Falaschi
Publication date: 17 November 1997
68N17: Logic programming
Related Items
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding, Optimizing Maude programs via program specialization, Loop detection in term rewriting using the eliminating unfoldings, 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., Rules + strategies for transforming lazy functional logic programs, Optimization of rewrite theories by equational partial evaluation