Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference8 articles.
1. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs;Bachus;Comm. ACM,1978
2. Combining algebraic and algorithmic reasoning: An approach to the Schorr-Waite algorithm;Broy;ACM Trans. Programming Languages and Systems,1982
3. The tight deterministic time hierarchy;Furer;Proc. 14th ACM Symp. on Theory of Computing,1982
4. Real-time queue operations in pure LISP;Hood;Inform. Process. Lett.,1981
5. Fundamentals of Data Structures;Horowitz,1976
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Priority queues with decreasing keys;Theoretical Computer Science;2024-06
2. Cambricon-U: A Systolic Random Increment Memory Architecture for Unary Computing;56th Annual IEEE/ACM International Symposium on Microarchitecture;2023-10-28
3. Ordering operations for generic replicated data types using version trees;Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data;2022-04-05
4. Regular numeral systems for data structures;Acta Informatica;2021-07-25
5. Balancing Lists: A Proof Pearl;Interactive Theorem Proving;2014