Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses https://t.co/dDPMUY63XL
221 followers
221 followers
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses https://t.co/dDPMUY63XL
642 followers
"Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. (arXiv:1811.07644v2 [cs.LO] UPDATED)" #arXiv https://t.co/XXfYu7Yjjx
758 followers
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses Henning Basold, Ekaterina Komendantskaya, Yue Li (Submitted on 19 Nov 2018) https://t.co/7whBopQSbf https://t.co/hBmSr6ICl8