Author:
Church Alonzo,Rosser J. B.
Publisher
American Mathematical Society (AMS)
Subject
Applied Mathematics,General Mathematics
Cited by
159 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Confluence of Directed Graph Reductions Preserving Feedback Vertex Set Minimality;Electronic Proceedings in Theoretical Computer Science;2024-06-24
2. Degrees of Separation: A Flexible Type System for Safe Concurrency;Proceedings of the ACM on Programming Languages;2024-04-29
3. A Calculus of Delayed Reductions;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
4. Completing the Cabrera Circle: deriving adaptable leads from ECG limb leads by combining constraints with a correction factor;Physiological Measurement;2023-10-01
5. Allegories of Symbolic Manipulations;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26