Searching for "Higher-Order Lazy Narrowing Calculus A Solver for Higher-Order Equations." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

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

Showing 1 through 1.

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