CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ]
Journal of Logic and Computation 4(2), 175-207, 1994
田村 直之 , 平井 崇晴 , 吉川 英男 , 姜京順 , 番原 睦則
情報処理学会論文誌プログラミング(PRO) 41(SIG04(PRO7)), 11-23, 2000-06-15
情報処理学会 参考文献21件 被引用文献3件