Collection home page

Proof Theory and Computation Theory   11
(http://hdl.handle.net/2433/47130)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 11 of 11
BibliographyContents
表紙・目次
   (2005-07)
  数理解析研究所講究録, 1442
file type icon
竹内の基本予想とは何か、何であるべきか : 50年に (証明論と計算論)
  新井, 敏康 (2005-07)
  数理解析研究所講究録, 1442: 1-7
file type icon
手描き曲線からの乱数抽出とそのセマンティクス : 中間報告 (証明論と計算論)
  川西, 暁夫, 鈴木, 登志雄 (2005-07)
  数理解析研究所講究録, 1442: 8-41
file type icon
Logarithmic truth-table reductions and minimum sizes of forcing conditions : preliminary draft (Proof Theory and Computation Theory)
  Kumabe, Masahiro, Suzuki, Toshio, Yamazaki, Takeshi (2005-07)
  数理解析研究所講究録, 1442: 42-47
file type icon
DENOTATIONAL SEMANTICS EXCLUDING WEAK-EXTENSIONALITY IN SIMPLE TYPES (Proof Theory and Computation Theory)
  Kurata, Toshihiko (2005-07)
  数理解析研究所講究録, 1442: 48-67
file type icon
Logical Characterizations of LOGSPACE (Proof Theory and Computation Theory)
  Kuroda, Satoru (2005-07)
  数理解析研究所講究録, 1442: 68-75
file type icon
並列合成の論理演算を持つ論理体系 (証明論と計算論)
  竹内, 泉 (2005-07)
  数理解析研究所講究録, 1442: 76-82
file type icon
Which Structural Rules Admit Cut Elimination? : An Algebraic Criterion : Excerpt (Proof Theory and Computation Theory)
  Terui, Kazushige (2005-07)
  数理解析研究所講究録, 1442: 83-96
file type icon
A Galois embedding from polymorphic types into existential types : Extended Abstract (Proof Theory and Computation Theory)
  Fujita, Ken-etsu, Hasegawa, Masahito (2005-07)
  数理解析研究所講究録, 1442: 97-114
file type icon
Infinite games and set existence axioms (Proof Theory and Computation Theory)
  MedSalem, MedYahya Ould, Tanaka, Kazuyuki (2005-07)
  数理解析研究所講究録, 1442: 115-121
file type icon
Differential Calculus in Second Order Arithmetic (Proof Theory and Computation Theory)
  Yokoyama, Keita (2005-07)
  数理解析研究所講究録, 1442: 122-148
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 11 of 11