| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 26 |       | Tetsuo Ida, Mircea Marin, Taro Suzuki: Reducing Search Space in Solving Higher-Order Equations. Progress in Discovery Science 2002: 19-30 |
| 24 | | Tetsuo Ida, Mircea Marin, Taro Suzuki: Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations. EUROCAST 2001: 479-493 |
| 20 |  | Mircea Marin, Tetsuo Ida, Taro Suzuki: Higher-order Lazy Narrowing Calculi in Perspective. WFLP 2000: 238-252 |
| 18 | | Mircea Marin, Tetsuo Ida, Taro Suzuki: On Reducing the Search Space of Higher-Order Lazy Narrowing. Fuji International Symposium on Functional and Logic Programming 1999: 319-334 |
| 17 | | Taro Suzuki, Koji Nakagawa, Tetsuo Ida: Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. ALP/HOA 1997: 99-113 |
| 12 | | Taro Suzuki, Aart Middeldorp, Tetsuo Ida: Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides. RTA 1995: 179-193 |
Selection of 6 from 52 records - Tetsuo Ida has 38 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page