Publication:4364365
From MaRDI portal
zbMath0886.68033MaRDI QIDQ4364365
Germán Vidal, María Alpuente, Moreno Falaschi, Ginés Moreno
Publication date: 17 November 1997
68N17: Logic programming
Related Items
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding, 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