Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 11-18 of 18 (Search time: 0.005 seconds).
Item hits:
Prawitz-Doorman Term Existence Property を超直観主義述語論理で考える (証明論と複雑性)
  鈴木, 信行 (2013-04)
  数理解析研究所講究録, 1832: 88-96
file type icon 
再帰的解析学における計算量 (証明論と複雑性)
  河村, 彰星 (2013-04)
  数理解析研究所講究録, 1832: 33-38
file type icon 
体系$Clambda_I_lambda$に関する予想の証明 (証明論と複雑性)
  松田, 直祐 (2013-04)
  数理解析研究所講究録, 1832: 139-142
file type icon 
弱い2階算術におけるリーマンの写像定理 (証明論と複雑性)
  堀畑, 佳宏 (2013-04)
  数理解析研究所講究録, 1832: 19-32
file type icon 
  数理解析研究所講究録, 1832
file type icon 
Notes on the first-order part of Ramsey's theorem for pairs (Proof theory and complexity)
  Yokoyama, Keita (2013-04)
  数理解析研究所講究録, 1832: 127-134
file type icon 
A propositional proof system based on comparator circuits : 基調講演 (証明論と複雑性)
  Kuroda, Satoru (2013-04)
  数理解析研究所講究録, 1832: 2-7
file type icon 
Sheaf-Theoretical Representation of Concrete Domains (Proof theory and complexity)
  倉田, 俊彦 (2013-04)
  数理解析研究所講究録, 1832: 8-18
file type icon