Search the dblp DataBase

Publications of Author

1. Norio Kobayashi, Mircea Marin, Tetsuo Ida
   Collaborative Constraint Functional Logic Programming in an Open Environment. [Citation Graph (0, 0)][DBLP]
   APLAS, 2001, pp:49-59 [Conf]
   
2. Tetsuo Ida, Mircea Marin
   An Open Environment for Cooperative Equational Solving. [Citation Graph (0, 0)][DBLP]
   APLAS, 2000, pp:163-166 [Conf]
   
3. Tetsuo Ida, Mircea Marin, Hidekazu Takahashi
   Constraint Functional Logic Programming for Origami Construction. [Citation Graph (0, 0)][DBLP]
   APLAS, 2003, pp:73-88 [Conf]
   
4. Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher
   A Generic Programming Environment for High-Performance Mathematical Libraries. [Citation Graph (0, 0)][DBLP]
   Generic Programming, 1998, pp:256-268 [Conf]
   
5. Tetsuo Ida, Mircea Marin, Taro Suzuki
   Reducing Search Space in Solving Higher-Order Equations. [Citation Graph (0, 0)][DBLP]
   Progress in Discovery Science, 2002, pp:19-30 [Conf]
   
6. Tetsuo Ida, Mircea Marin, Taro Suzuki
   Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 2001, pp:479-493 [Conf]
   
7. Mircea Marin, Tetsuo Ida, Taro Suzuki
   On Reducing the Search Space of Higher-Order Lazy Narrowing. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1999, pp:319-334 [Conf]
   
8. Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem
   Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami. [Citation Graph (0, 0)][DBLP]
   ICMS, 2006, pp:361-372 [Conf]
   
9. Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru
   A Survey of the Theorema Project. [Citation Graph (0, 0)][DBLP]
   ISSAC, 1997, pp:384-391 [Conf]
   
10. Temur Kutsia, Mircea Marin
    Matching with Regular Constraints. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:215-229 [Conf]
    
11. Tetsuo Ida, Hidekazu Takahashi, Mircea Marin
    Computational Origami of a Morley's Triangle. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:267-282 [Conf]
    
12. Mircea Marin, Aart Middeldorp
    New completeness results for lazy conditional narrowing. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:120-131 [Conf]
    
13. Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem
    Logical and algebraic view of Huzita's origami axioms with applications to computational origami. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:767-772 [Conf]
    
14. Mircea Marin, Tetsuo Ida
    Cooperative Constraint Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:382-390 [Conf]
    
15. Mircea Marin, Tetsuo Ida, Taro Suzuki
    Higher-order Lazy Narrowing Calculi in Perspective. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:238-252 [Conf]
    
16. Mircea Marin, Tetsuo Ida
    Rule-Based Programming with sigma-Log. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2005, pp:31-38 [Conf]
    
17. Mircea Marin, Florina Piroi
    Deduction and Presentation in rho Log. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:161-182 [Journal]
    
18. Mircea Marin, Temur Kutsia
    Foundations of the rule-based system rLog. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2006, v:16, n:1-2, pp:151-168 [Journal]
    
19. Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi
    Modeling Origami for Computational Construction and Beyond. [Citation Graph (0, 0)][DBLP]
    ICCSA (2), 2007, pp:653-665 [Conf]
    
20. 
    Linear Systems for Regular Hedge Languages. [Citation Graph (, )][DBLP]
    
    
21. 
    Regular Hedge Language Factorization Revisited. [Citation Graph (, )][DBLP]
    
    
22. 
    Order-Sorted Unification with Regular Expression Sorts. [Citation Graph (, )][DBLP]
    
    
23. 
    Strategies in PRholog [Citation Graph (, )][DBLP]
    
    
24. 
    Computational Origami Construction as Constraint Solving and Rewriting. [Citation Graph (, )][DBLP]