Home >

news Help

Publication Information


Title
Japanese:様相ミュー計算のタブロー法の完全性と無限ゲームの決定性について 
English: 
Author
Japanese: 鹿島亮.  
English: RYO KASHIMA.  
Language Japanese 
Journal/Book name
Japanese:数理解析研究所講究録 
English: 
Volume, Number, Page Vol. 2233        pp. 65-81
Published date Nov. 2022 
Publisher
Japanese: 
English: 
Conference name
Japanese:RIMS共同研究(公開型)「数理論理学とその応用」 
English: 
Conference site
Japanese:京都 
English: 

©2007 Tokyo Institute of Technology All rights reserved.