Proof Relevant Corecursive Resolution.

Authors :: Fu, Peng
Komendantskaya, Ekaterina
Schrijvers, Tom
Pond, Andrew
Source :: Functional & Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings; 2016, p126-143, 18p
Publication Year :: 2016

Language :: English
ISBNs :: 9783319296036
Database :: Complementary Index
Journal :: Functional & Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Publication Type :: Book
Accession number :: 114842470
Full Text :: https://doi.org/10.1007/978-3-319-29604-3_9