The following pages link to F. Correa (Q604475):
Displayed 4 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424. (Q2841221) (← links)
- (Q4417882) (← links)
- Nonlocal gauge equivalence: Hirota versus extended continuous Heisenberg and Landau-Lifschitz equation (Q6327320) (← links)