Hirata, Kouichi; Yamada, Keizo; Harao, Masateru Tractable and intractable second-order matching problems. (English) Zbl 1137.68411 J. Symb. Comput. 37, No. 5, 611-628 (2004). MSC: 68Q25 68W30 PDFBibTeX XMLCite \textit{K. Hirata} et al., J. Symb. Comput. 37, No. 5, 611--628 (2004; Zbl 1137.68411) Full Text: DOI
Kubo, Kengo; Yamada, Keizo; Hirata, Kouichi; Harao, Masateru Efficient \(2\)-level predicate matching algorithms that use pre-checking. (Japanese) Zbl 0991.68510 RIMS Kokyuroku 1205, 65-70 (2001). MSC: 68N17 PDFBibTeX XMLCite \textit{K. Kubo} et al., RIMS Kokyuroku 1205, 65--70 (2001; Zbl 0991.68510)
Yamada, Keizo; Hirata, Kouichi; Harao, Masateru Complexity of computation in schema matching. (Japanese) Zbl 0951.68515 RIMS Kokyuroku 1093, 142-147 (1999). MSC: 68Q25 68Q42 68T15 PDFBibTeX XMLCite \textit{K. Yamada} et al., RIMS Kokyuroku 1093, 142--147 (1999; Zbl 0951.68515)
Hirata, Kouichi; Yamada, Keizo; Harao, Masateru Tractable and intractable second-order matching problems. (English) Zbl 0944.68087 Asano, Takao (ed.) et al., Computing and combinatorics. 5th annual international conference. COCOON ’99, Tokyo, Japan, July 26-28, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1627, 432-441 (1999). MSC: 68Q42 68Q25 PDFBibTeX XMLCite \textit{K. Hirata} et al., Lect. Notes Comput. Sci. 1627, 432--441 (1999; Zbl 0944.68087)
Yamada, Keizo; Hirata, Koichi; Harao, Masateru On decidable higher-order unification problems. (Japanese) Zbl 0944.68537 RIMS Kokyuroku 1041, 227-234 (1998). MSC: 68W30 03D40 03D80 PDFBibTeX XMLCite \textit{K. Yamada} et al., RIMS Kokyuroku 1041, 227--234 (1998; Zbl 0944.68537)