You are here

Publications

Export 1 results:
Filters: Keyword is Declarative Diagnosis and Author is Giovanni Bacci  [Clear All Filters]
2010
G. Bacci and Comini, M., Abstract Diagnosis of First Order Functional Logic Programs, Logic-Based Program Synthesis and Transformation – 20th International Symposium – Pre-Proceedings, vol. 10-14. Hagenberg, Austria, pp. 58–72, 2010.