@inproceedings{weko_170685_1,
   author	 = "岡本,圭史",
   title	 = "不動点付高階様相論理",
   booktitle	 = "第67回全国大会講演論文集",
   year 	 = "2005",
   volume	 = "2005",
   number	 = "1",
   pages	 = "237--238",
   month	 = "mar"
}