Coalgebraic Proofs in Logic Programming (2011)

First Author: Ekaterina Komendantskaya
Attributed to:  Computational Logic in Artificial Neural Networks funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Proceedings of Automated Reasoning Workshop 2011