The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them (2020)

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

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1017/s1471068420000423

Publication URI: http://dx.doi.org/10.1017/s1471068420000423

Type: Journal Article/Review

Parent Publication: Theory and Practice of Logic Programming

Issue: 6