M. Marin. Functional Programming with Sequence Variables: The Sequentica Package. In J. Levy, M. Kohlhase, J. Niehren, and M. Villaret, editors, Proceedings of the 17th International Workshop on Unification (UNIF 2003), pages 65--78, Valencia, June 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On the Implementation of a Rule-Based Programming System and.. - Marin, Kutsia (2003) (1 citation) Self-citation (Marin) (Correct)
No context found.
M. Marin. Functional Programming with Sequence Variables: The Sequentica Package. In J. Levy, M. Kohlhase, J. Niehren, and M. Villaret, editors, Proceedings of the 17th International Workshop on Unification (UNIF 2003), pages 65--78, Valencia, June 2003.
Rule-based Deduction and Views in Mathematica - Marin, Piroi (2003) Self-citation (Marin) (Correct)
No context found.
Mircea Marin. Functional Programming with Sequence Variables: The Sequentica Package. In Jordi Levy, Michael Kohlhase, Joachim Niehren, and Mateu Villaret, editors, Proceedings of the 17th International Workshop on Unification (UNIF 2003), pages 65--78, Valencia, June 2003.
Programming with Transformation Rules - Marin, Kutsia (2003) Self-citation (Marin) (Correct)
No context found.
Mircea Marin. Functional Programming with Sequence Variables: The Sequentica Package. In J. Levy, M. Kohlhase, J. Niehren, and M. Villaret, editors, Proceedings of the 17th International Workshop on Unification (UNIF 2003), pages 65--78, Valencia, June 2003.
Deduction and Presentation in ρLog - Marin, Piroi (2003) Self-citation (Marin) (Correct)
No context found.
Mircea Marin. Functional Programming with Sequence Variables: The Sequentica Package. In Jordi Levy, Michael Kohlhase, Joachim Niehren, and Mateu Villaret, editors, Proceedings of the 17th International Workshop on Unification (UNIF 2003.
On the Implementation of a Rule-Based Programming System and.. - Marin, Kutsia (2003) (1 citation) Self-citation (Marin) (Correct)
No context found.
M. Marin. Functional Programming with Sequence Variables: The Sequentica Package. In J. Levy, M. Kohlhase, J. Niehren, and M. Villaret, editors, Proceedings of the 17th International Workshop on Unification (UNIF 2003), pages 65--78, Valencia, June 2003.
System Description: Analytica 2 - Edmund Clarke Michael (2 citations) (Correct)
No context found.
M. Marin. Functional programming with sequence variables. In UNIF2003
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