Author:
Bonchi Filippo,Zanasi Fabio
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource Semantics;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
2. COALGEBRAIC SEMANTICS FOR PROBABILISTIC LOGIC PROGRAMMING;LOG METH COMPUT SCI;2021
3. A Coalgebraic Approach to Unification Semantics of Logic Programming;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019
4. Iterated Covariant Powerset is not a Monad;Electronic Notes in Theoretical Computer Science;2018-12
5. Logic programming: Laxness and saturation;Journal of Logical and Algebraic Methods in Programming;2018-12