MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Tetsuo Ida" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

ATOM

� The Forward Origami Problem
by Bruno Buchberger, Tetsuo Ida
…Origami Theorem Proving Bruno Buchberger 1 , Tetsuo Ida 2 � 1 Research Institute for Symbolic…
Add To MetaCart

Functional Logic Origami Programming with Open CFLP, Challenging the
by Tetsuo Ida, Mircea Marin — 2003 — Boundaries of Symbolic Computation, Proceedings of 5th International Mathematica Symposium (IMS'2003
…Functional Logic Origami Programming with Open CFLP Tetsuo Ida Institute of Information Sciences…
Cited by 1 (1 self) – Add To MetaCart

Leftmost outside-in narrowing calculi
by Tetsuo Ida, Koichi Nakahara — 1997 — Journal of Functional Programming
… Outside-In Narrowing Calculi 1 Tetsuo Ida Institute of Information Sciences and Electronics and Center…
Cited by 12 (3 self) – Add To MetaCart

Implementation of Lazy Narrowing Calculi in Mathematica
by Mohamed Hamada, Tetsuo Ida — 1997
… in Engineering, University of Tsukuba Tsukuba 305, Japan E-mail: hamada@(email omitted); and Tetsuo Ida…
Cited by 2 (0 self) – Add To MetaCart

Higher-order Lazy Narrowing Calculi in Perspective
by Mircea Marin, Tetsuo Ida, Taro Suzuki — 2000
…Higher-order Lazy Narrowing Calculi in Perspective Mircea Marin 1 , Tetsuo Ida 1 , and Taro…
Add To MetaCart

On Reducing the Search Space of Higher-Order Lazy Narrowing
by Mircea Marin, Tetsuo Ida, Taro Suzuki — 1999
…On Reducing the Search Space of Higher-Order Lazy Narrowing ? Mircea Marin 1 , Tetsuo Ida 2…
Cited by 9 (5 self) – Add To MetaCart

Modelling Origami for Computational Construction and Beyond
by Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi — 2007 — In The 2007 International Conference on Computational Science and Its Applications (ICCSA 2007), Lecture Notes in Computer Sciences
…Modeling Origami for Computational Construction and Beyond Tetsuo Ida, Hidekazu Takahashi, Mircea…
Cited by 1 (1 self) – Add To MetaCart

Computational origami construction as constraint solving and rewriting
by Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi — 2007 — In 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP
…WFLP 2007 Computational Origami Construction as Constraint Solving and Rewriting Tetsuo Ida…
Cited by 1 (1 self) – Add To MetaCart

Higher-order Lazy Narrowing Calculus: a Solver for Higher-Order Equations
by Tetsuo Ida, Mircea Marin, Taro Suzuki — 2001 — in Proc. 8th Int’l Conf. Computer Aided Systems (EuroCAST 2001), LNCS
…Higher-order Lazy Narrowing Calculus: a Solver for Higher-order Equations Tetsuo Ida 1 , Mircea…
Cited by 1 (0 self) – Add To MetaCart

Refinements of lazy narrowing for left-linear fully extened pattern rewrite systems
by Mircea Marin, Taro Suzuki, Tetsuo Ida — 2001
… 1 , Taro Suzuki 2 , and Tetsuo Ida 1 1 Institute of Information Sciences and Electronics University…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB