You are here

Home

Publications

Export 3 results:
Filters: Keyword is Declarative Diagnosis  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
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.
C
M. Comini, Levi, G., and Vitiello, G., “Modular Abstract Diagnosis”, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.
M. Comini, Levi, G., Meo, M. C., and Vitiello, G., “Abstract Diagnosis”, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.

created with Drupal | customized by Giovanni Bacci