You are here

Publications

Export 1 results:
Filters: Author is Salvador Lucas and Keyword is Inductive Learning  [Clear All Filters]
2003
M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., Abstract Correction of First-Order Functional Programs, 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, 2003.