Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Henning Basold, Ekaterina Komendantskaya, Yue Li

Journal title: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Journal number: 11423

Journal publisher: Springer International Publishing

Published year: 2019

Published pages: 783-813

DOI identifier: 10.1007/978-3-030-17184-1_28

ISBN: 978-3-030-17183-4