@inproceedings{weko_147847_1,
   author	 = "櫻井,敬大 and 草刈,圭一郎 and 西田,直樹 and 酒井,正彦 and 坂部,俊樹",
   title	 = "LA-001 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法(A分野:モデル・アルゴリズム・プログラミング)",
   booktitle	 = "情報科学技術レターズ",
   year 	 = "2005",
   volume	 = "4",
   number	 = "",
   pages	 = "1--4",
   month	 = "aug"
}