奥居 哲 | 筑波大学電子情報工学部

スポンサーリンク

概要

• 奥居 哲の詳細を見る
• 同名の論文著者
• 筑波大学電子情報工学部の論文著者

関連著者

• 奥居 哲

  筑波大学電子情報工学部

• Middeldorp Aart

  Institute Of Computer Science University Of Innsbruck

• Middeldorp Aart

  Institute Of Information Sciences And Electronics University Of Tsukuba

著作論文

• Lazy Narrowing Calculi : Strong Completeness, Eager Variable Elimination, Nondeterminism, Optimality (Languages, Algebra and Computer Systems)

スポンサーリンク