Author:
Miller Dale A.,Nadathur Gopalan
Publisher
Springer Berlin Heidelberg
Cited by
61 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Relational Machine Calculus;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. A Survey of the Proof-Theoretic Foundations of Logic Programming;Theory and Practice of Logic Programming;2021-11-18
3. Semantics of a Relational $$\lambda $$-Calculus;Theoretical Aspects of Computing – ICTAC 2020;2020
4. How to Win First-Order Safety Games;Lecture Notes in Computer Science;2020
5. A Survey of Languages for Formalizing Mathematics;Lecture Notes in Computer Science;2020