| [1] | D. Ancona. Regular corecursion in Prolog. Technical report, DIBRIS - Università di Genova, 2012. Submitted for journal publication, extended version of Ancona at SAC12. [ bib | .pdf | Abstract ] |
| [2] | D. Ancona. Regular corecursion in Prolog. In S. Ossowski and P. Lecca, editors, ACM Symposium on Applied Computing (SAC 2012), pages 1897-1902, 2012. [ bib | .pdf | Abstract ] |
| [3] | D. Ancona and E. Zucca. Translating corecursive Featherweight Java in coinductive logic programming. In Co-LP 2012 - A workshop on Coinductive Logic Programming, 2012. [ bib | .pdf | Abstract ] |
| [4] | D. Ancona and E. Zucca. Corecursive Featherweight Java. In Formal techniques for Java-like programs (FTfJP12), 2012. To appear. [ bib | .pdf | Abstract ] |
This file was generated by bibtex2html 1.95.
Back to the main page on Davide Ancona's papers
