Author:
Ancona Davide,Lagorio Giovanni
Subject
Computer Science Applications,General Mathematics,Software
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Structural Resolution for Abstract Compilation of Object-Oriented Languages;Electronic Proceedings in Theoretical Computer Science;2017-09-13
2. Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types;Electronic Proceedings in Theoretical Computer Science;2017-09-13
3. A formal account of SSA in Java-like languages;Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs;2016-07-17
4. Proof Relevant Corecursive Resolution;Functional and Logic Programming;2016
5. A Theoretical Perspective of Coinductive Logic Programming;Fundamenta Informaticae;2015-09-14