D. L. Metayer. Higher-order multiset programming. In Proc. DIMACS workshop on specifications of parallel algorithms. American Mathematical Society, DIMACS series in Discrete Mathematics, Vol. 18, 1994. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (3 citations) (Correct)
No context found.
D. L. Metayer. Higher-order multiset programming. In Proc. DIMACS workshop on specifications of parallel algorithms. American Mathematical Society, DIMACS series in Discrete Mathematics, Vol. 18, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC