Publications 2004

1. Norio Kobayashi, Mircea Marin, Takahiro Morio, Yoshimasa Tanaka and Hideko Urushihara (2004): An analysis of upstream sequences of Dictyostelium discoideum using a distributed computer system. - Miscellaneous publication.
2. Temur Kutsia and Mircea Marin (2004): Unification Procedure for Terms with Sequence Variables and Sequence Functions. - In: Proceedings of the 18th International Workshop on Unification (UNIF'04). UNIF series preprint.
3. Mircea Marin and Florina Piroi (2004): Deduction and Presentation in ρLog. - ENTCS 93:161--182.
4. Mircea Marin and Temur Kutsia (2004): A Rule-based Approach to the Implementation of Evaluation Strategies. - In: Proceedings of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2004), edited by Tudor Jebelean, Viorel Negru, Adriana Popovici. Analele Universitatii de Vest din Timisoara, Timisoara, pages 117--134.
5. Mircea Marin and Mircea Dragan (2004): A Jini Service for Collaborative Constraint Solving. - In: Proceedings of International Conference on Computers and Communications (ICCC 2004). Editura Universitatii din Oradea , pages 235--240.
6. Mircea Marin and Aart Middeldorp (2004): New Completeness Results for Lazy Conditional Narrowing. - In: Proceedings of the 6th ACM-SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2004). ACM Press, pages 120--131.