Search the dblp DataBase

Publications of Author

1. Taro Suzuki
   Standardization Theorem Revisited. [Citation Graph (0, 0)][DBLP]
   ALP, 1996, pp:122-134 [Conf]
   
2. Taro Suzuki, Koji Nakagawa, Tetsuo Ida
   Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. [Citation Graph (0, 0)][DBLP]
   ALP/HOA, 1997, pp:99-113 [Conf]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. Taro Suzuki, Aart Middeldorp
   A Complete Selection Function for Lazy Conditional Narrowing. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2001, pp:201-215 [Conf]
   
7. Taro Suzuki, Aart Middeldorp, Tetsuo Ida
   Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides. [Citation Graph (0, 0)][DBLP]
   RTA, 1995, pp:179-193 [Conf]
   
8. Mircea Marin, Tetsuo Ida, Taro Suzuki
   Higher-order Lazy Narrowing Calculi in Perspective. [Citation Graph (0, 0)][DBLP]
   WFLP, 2000, pp:238-252 [Conf]
   
9. Aart Middeldorp, Taro Suzuki, Mohamed Hamada
   Complete Selection Functions for a Lazy Conditional Narrowing Calculus. [Citation Graph (0, 0)][DBLP]
   Journal of Functional and Logic Programming, 2002, v:2002, n:, pp:- [Journal]
   
10. 
    "ephemeral melody": music played with wind and bubbles. [Citation Graph (, )][DBLP]
    
    
11. 
    Hedge Pattern Partial Derivative. [Citation Graph (, )][DBLP]