Abstract
For, aside from the fact that the concepts occurring in this calculus possess an objective importance a nd are in these times almost indispensable in any scientific discussion, the calculus of relations has an intrinsic charm and beauty which makes it a source of intellectual delight to all who become acquainted with it. ALFRED TARSKI [10]
Subject
Computational Theory and Mathematics,Information Systems,Algebra and Number Theory,Theoretical Computer Science
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Diagrammatic Algebra of First Order Logic;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Jifeng He at Oxford and Beyond: An Appreciation;Theories of Programming and Formal Methods;2023
3. Generalised rely-guarantee concurrency: an algebraic foundation;Formal Aspects of Computing;2016-11
4. Insight, Inspiration and Collaboration;Reflections on the Work of C.A.R. Hoare;2010
5. Infinitary Action Logic: Complexity, Models and Grammars;Studia Logica;2008-05-24