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

Bibliographic Information

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

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top