M. Marin and T. Kutsia. On the implementation of a rule-based programming system and some of its applications. In B. Konev and R. Schmidt, 47 editors, Proc. of the 4th Int. Workshop on the Implementation of Logics (WIL'03), pages 55--68, Almaty, Kazakhstan, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Solving Equations Involving Sequence Variables and Sequence.. - Kutsia (2004) (1 citation) Self-citation (Kutsia) (Correct)
No context found.
M. Marin and T. Kutsia. On the implementation of a rule-based programming system and some of its applications. In B. Konev and R. Schmidt, 47 editors, Proc. of the 4th Int. Workshop on the Implementation of Logics (WIL'03), pages 55--68, Almaty, Kazakhstan, 2003.
Solving Equations Involving Sequence Variables and Sequence.. - Kutsia (2004) (1 citation) Self-citation (Kutsia) (Correct)
No context found.
M. Marin and T. Kutsia. On the implementation of a rule-based programming system and some of its applications. In B. Konev and R. Schmidt, editors, Proc. of the 4th Int. Workshop on the Implementation of Logics (WIL'03), pages 55--68, Almaty, Kazakhstan, 2003.
Rule-based Deduction and Views in Mathematica - Marin, Piroi (2003) Self-citation (Marin) (Correct)
No context found.
Mircea Marin and Temur Kutsia. On the Implementation of a Rule-Based Programming System and some of its Applications. In Boris Konev and Renate Schmidt, editors, Proceedings of the 4th International Workshop on the Implementation of Logics, pages 55--69, Almaty, Kazakhstan, September 26 2003.
Programming with Transformation Rules - Marin, Kutsia (2003) Self-citation (Marin Kutsia) (Correct)
No context found.
Mircea Marin and Temur Kutsia. On the Implementation of a Rule-Based Programming System and some of its Applications. In Boris Konev and Renate Schmidt, editors, Proceedings of the Fourth International Workshop on the Implementation of Logics, Almaty, Kazakhstan, September 26 2003. To appear.
Deduction and Presentation in ρLog - Marin, Piroi (2003) Self-citation (Marin) (Correct)
No context found.
Mircea Marin and Temur Kutsia. On the Implementation of a Rule-Based Programming System and some of its Applications. In Boris Konev and Renate Schmidt, editors, Proceedings of the 4th International Workshop on the Implementation of Logics, pages 55--69, Almaty, Kazakhstan, September 26 2003.
Solving Equations Involving Sequence Variables and Sequence.. - Kutsia (2004) (1 citation) Self-citation (Kutsia) (Correct)
No context found.
M. Marin and T. Kutsia. On the implementation of a rule-based programming system and some of its applications. In B. Konev and R. Schmidt, 47 editors, Proc. of the 4th Int. Workshop on the Implementation of Logics (WIL'03), pages 55--68, Almaty, Kazakhstan, 2003.
Unification Procedure for Terms with Sequence Variables and.. - Kutsia, Marin (Correct)
No context found.
M. Marin and T. Kutsia. On the implementation of a rule-based programming system and some of its applications. In B. Konev and R. Schmidt, editors, Proc. of the 4th Int. Workshop on the Implementation of Logics (WIL'03), pages 55--68, Almaty, Kazakhstan, 2003.
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