Publications 2006

1. Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin and Asem Kasem (2006): Logical and Algebraic Formulation of Origami Axioms. - In: Proceedings of the Annual Symposium of Japan Society for Software Science and Technology. JSSST, Tokyo, Japan.
2. Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem and Fadoua Ghourabi (2006): Computational Origami System Eos. - In: Proceedings of 4th International Conference on Origami, Science, Mathematics and Education. 4OSME, pages 69.
3. Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem and Fadoua Ghourabi (2006): Computational Construction of a Maximal Equilateral Triangle Inscribed in an Origami. - In: Proceedings of Second International Congress on Mathematical Software, LNCS 4151, edited by Andres Iglesias, Nobuki Takayama. Springer, pages 361--372.
4. Asem Kasem, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin and Fadoua Ghourabi (2006): E-Origami System Eos. - In: Proceedings of the Annual Symposium of Japan Society for Software Science and Technology. JSSST, Tokyo, Japan.
5. Temur Kutsia and Mircea Marin (2006): Solving Regular Constraints for Hedges and Contexts. - In: Proceedings of the 20th International Workshop on Unification, edited by Jordi Levy. Workshop hardcopy, pages 89--107.
6. Mircea Marin and Tetsuo Ida (2006): Progress of ρLog, a rule-based programming system. - Mathematica in Education and Research 11(1):50--66.
7. Mircea Marin and Temur Kutsia (2006): Foundations of the Rule-Based System ρLog. - Journal of Applied Non-Classical Logic 16(1--2):151--168.