Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Ilies Alouini. Réécriture concurrente: Etude et implantation. Rapport de DEA, Université de Nancy 1, September 1993.
2. M. Ben-Ari. Algorithms for on-the fly garbage collection. In Proc. ACM symposium on Prog. Lang and Sys, volume 6, pages 333–444, 1984.
3. A. Beguelin, J.J Dongarra, and A Geist G. Parallel virtual machine user's guide and reference manual. Technical report, Oak Ridge National Laboratory, May 1994.
4. A. Deb. Parallel garbage collection for graph machines. In Proc. of a Workshop Santa Fe, New Mexico, USA, volume 279 of Lecture Notes in Computer Science, pages 252–264. Springer-Verlag, September 1986.
5. N. Dershowitz and J.-P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 6, pages 244–320. Elsevier Science Publishers B. V. (North-Holland), 1990.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Parallel Theorem Proving;Handbook of Parallel Constraint Reasoning;2018
2. ELAN;Electronic Notes in Theoretical Computer Science;1996