Search Results for author:
Found 1 papers, 0 papers with code
Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper
Coinduction occurs in two guises in Horn clause logic: in proofs of self-referencing properties and relations, and in proofs involving construction of (possibly irregular) infinite data.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
