Corecursion in Logic Programming: Lazy versus Eager (2014)

First Author: Jonathan Heras
Attributed to:  MACHINE LEARNING COALGEBRAIC AUTOMATED PROOFS funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Proceedings of International Conference on Logic Programming