Games and Natural Number-valued Semantics of the Modal μ-calculus

書誌事項

タイトル別名
  • 様相μ計算の自然数値意味論とゲーム
  • ヨウソウmケイサン ノ シゼン スウチ イミロン ト ゲーム

この論文をさがす

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ