Normalisation by stack-based evaluation

スポンサーリンク

概要

• 論文の詳細を見る
• 北陸先端科学技術大学院大学の論文
• 2006-07-07

著者

• Vestergaard Rene

  JAIST

関連論文

• The inductive and modal proof theory of Aumann's theorem on rationality
• Normalisation by stack-based evaluation
• Rewriting game theory as a foundation for state-based models of gene regulation
• A discrete Nash Theorem with low complexity and dynamic equilibria

スポンサーリンク