本文に飛ぶ

年 〜
年

検索結果 128 件

Research reports on mathematical and computing sciences Ser. B Operations research

Research reports on mathematical and computing sciences Ser. B Operations research
紙雑誌雑誌タイトル
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology1995-<Z63-A413>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

Research Reports on Mathematical and Computing Sciences Ser. C Computer Science

Research Reports on Mathematical and Computing Sciences Ser. C Computer Science
紙雑誌雑誌タイトル
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology[1995]-[2019]<Z63-A414>
国立国会図書館
  •  
  •  
  •  
  •  
  •  
    •  

Research Reports on Mathematical and Computing Sciences Ser. A Mathematical Science

Research Reports on Mathematical and Computing Sciences Ser. A Mathematical Science
紙雑誌雑誌タイトル
Department of Mathematical and Computing Sciences, Tokyo Institute of Technology1996-<Z63-A416>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

Research Reports on Information Sciences Ser. C Computer Science

Research Reports on Information Sciences Ser. C Computer Science
紙雑誌雑誌タイトル
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology<Z63-A414>
国立国会図書館全国の図書館
  • 改題後Research Reports on Mathematical and Computing Sciences. Ser. C, Computer Science
  •  
  •  
  •  
  •  
  •  
    •  

Research Reports on Information Sciences Ser. B Operations Research

Research Reports on Information Sciences Ser. B Operations Research
紙雑誌雑誌タイトル
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology<Z63-A413>
国立国会図書館全国の図書館
  • 改題後Research reports on mathematical and computing sciences. Ser. B, Operations research
  •  
  •  
  •  
  •  
  •  
    •  

On the Completeness and the Decidability of Strictly Monadic Second-Order Logic

On the Completeness and the Decidability of Strictly Monadic Second-Order Logic
デジタル規格・テクニカルリポート類
高木, 研斗, Takagi, Kento, 鹿島, 亮, KASHIMA, RYO東京工業大学 情報理工学院 数理・計算科学系2019-04Research Reports on Mathematical and Computing Sciences
全国の図書館

Completeness of Hilbert-style axiomatization for the extended computation tree logic ECTL

Completeness of Hilbert-style axiomatization for the extended computation tree logic ECTL
紙規格・テクニカルリポート類
鹿島, 亮, KASHIMA, RYO2012-03Research Reports on Mathematical and Computing Sciences
全国の図書館

A proof of the completeness theorem for the modal logic with transitive closure of accessibility relation

A proof of the completeness theorem for the modal logic with transitive closure of accessibility relation
紙図書
鹿島, 亮, KASHIMA, RYOTokyo Institute of Technology2009-12Research Reports on Mathematical and Computing SciencesC-266
全国の図書館

Research Reports on Information Sciences Ser. A Mathematical Science

Research Reports on Information Sciences Ser. A Mathematical Science
紙雑誌雑誌タイトル
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology1974-1995<Z63-A416>
国立国会図書館全国の図書館
  • 改題後Research Reports on Mathematical and Computing Sciences. Ser. A, Mathematical Science
  •  
  •  
  •  
  •  
  •  
    •  

Completeness Theorem of First-Order Modal mu-calculus

Completeness Theorem of First-Order Modal mu-calculus
紙図書
鹿島, 亮, KASHIMA, RYO2007-04Research Reports on Mathematical and Computing Sciences, TITC-244 No.
全国の図書館

A Proof-Theoretical Study on Logics with Constructible Falsity

A Proof-Theoretical Study on Logics with Constructible Falsity
紙図書
鹿島, 亮, KASHIMA, RYO2003Research Reports on Mathematical and Computing Sciences, TITC-165
全国の図書館

Proof Theoretical Studies on Semilattice Relevant Logics

Proof Theoretical Studies on Semilattice Relevant Logics
紙図書
鹿島, 亮, KASHIMA, RYO2001Research Reports on Mathematical and Computing Sciences, TITC-157
全国の図書館

A Proof of the Standardization Theorem in Lambda-Calculus

A Proof of the Standardization Theorem in Lambda-Calculus
紙図書
鹿島, 亮, KASHIMA, RYO2000Research Reports on Mathematical and Computing Sciences, TITC-145
全国の図書館

Labelled sequent calculi and completeness theorems for implicational relevant logics

Labelled sequent calculi and completeness theorems for implicational relevant logics
紙図書
鹿島, 亮, KASHIMA, RYO1999Research Reports on Mathematical and Computing Sciences, TITC-140
全国の図書館

検索結果は以上です。

RSS