@techreport{weko_31080_1,
   author	 = "濱口,清治 and 平石,裕実 and 矢島,脩三",
   title	 = "ω正則集合と等価な表現能力をもつ時相論理",
   year 	 = "1988",
   institution	 = "京都大学工学部, 京都大学工学部, 京都大学工学部",
   number	 = "37(1988-PRO-025)",
   month	 = "may"
}