Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 10 (Search time: 0.011 seconds).
  • previous
  • 1
  • next
Item hits:
BibliographyContents
手描き曲線からの乱数抽出とそのセマンティクス : 中間報告 (証明論と計算論)
  川西, 暁夫, 鈴木, 登志雄 (2005-07)
  数理解析研究所講究録, 1442: 8-41
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 
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 
Differential Calculus in Second Order Arithmetic (Proof Theory and Computation Theory)
  Yokoyama, Keita (2005-07)
  数理解析研究所講究録, 1442: 122-148
file type icon 
竹内の基本予想とは何か、何であるべきか : 50年に (証明論と計算論)
  新井, 敏康 (2005-07)
  数理解析研究所講究録, 1442: 1-7
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 
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 
Infinite games and set existence axioms (Proof Theory and Computation Theory)
  MedSalem, MedYahya Ould, Tanaka, Kazuyuki (2005-07)
  数理解析研究所講究録, 1442: 115-121
file type icon