Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Theory and Mathematics,Computational Mathematics,Analysis
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Theoretical Computer Science: Computability, Decidability and Logic;A Guided Tour of Artificial Intelligence Research;2020
2. Axiomatization and characterization of BSP algorithms;Journal of Logical and Algebraic Methods in Programming;2019-12
3. Abstract Recursion and Intrinsic Complexity;2018-11-23
4. Algorithmic Completeness for BSP Languages;2018 International Conference on High Performance Computing & Simulation (HPCS);2018-07
5. Arithmetic complexity;ACM Transactions on Computational Logic;2009-01