MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Masateru Harao – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Efficient Second-Order Predicate Schema Matching Algorithm
by Masateru Harao, Keizo Yamada, Kouichi Hirata
…E#cient Second-Order Predicate Schema Matching Algorithm Masateru Harao Keizo Yamada Kouichi Hirata…
Add To MetaCart

Tractable and Intractable Second-Order Matching Problems
by Kouichi Hirata, Keizo Yamada, Masateru Harao — 1999 — In Proc. 5th Ann. Int. Computing and Combinatorics Conference (COCOON'99), LNCS 1627
…Tractable and Intractable Second-Order Matching Problems # Kouichi Hirata Keizo Yamada Masateru…
Cited by 9 (2 self) – Add To MetaCart

Generalization in
by Jianguo Lu, Masateru Harao, Masami Hagiya — 1998
…Generalization in 2 Jianguo Lu , Masateru Harao y , Masami Hagiya z Keywords: higher order…
Cited by 1 (0 self) – Add To MetaCart

Higher Order Generalization and Its Application in Program Verification
by Jianguo Lu John, John Mylopoulos, Masateru Harao, Masami Hagiya
…,jmg@(email omitted); Masateru Harao Department of Artificial Intelligence, Kyushu Institute of Technology harao…
Add To MetaCart

Showing 1 through 4.

ATOM

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