Author:
Karp Richard M.,Miller Raymond E.
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference10 articles.
1. The logical schemes of algorithms;Ianov;Problems of Cybernetics,1958
2. Properties of a model for parallel computations: determinacy termination, queueing;Karp;SIAM J. Appl. Math.,1966
3. Parallel program schemata: A mathematical model for parallel computation;Karp,1967
4. The organization of computations for uniform recurrence equations;Karp;J. Assoc. Comp. Math.,1967
Cited by
520 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Non-termination in Term Rewriting and Logic Programming;Journal of Automated Reasoning;2024-02-02
2. The Probabilistic Liveness Decision Method of Unbounded Petri Nets Based on Machine Learning;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2024-02
3. Reachability in Continuous Pushdown VASS;Proceedings of the ACM on Programming Languages;2024-01-05
4. Commutative Lambek Grammars;Journal of Logic, Language and Information;2023-10-30
5. Verifying Chemical Reaction Networks with the Isabelle Theorem Prover;2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton);2023-09-26