Jump to main content

yr 〜
yr

Search results 128

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

Research reports on mathematical and computing sciences Ser. B Operations research
Paper雑誌雑誌タイトル
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology1995-<Z63-A413>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

Research Reports on Mathematical and Computing Sciences Ser. C Computer Science
Paper雑誌雑誌タイトル
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology<Z63-A414>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

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

Research Reports on Mathematical and Computing Sciences Ser. A Mathematical Science
Paper雑誌雑誌タイトル
Department of Mathematical and Computing Sciences, Tokyo Institute of Technology1996-<Z63-A416>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Research Reports on Information Sciences Ser. B Operations Research

Research Reports on Information Sciences Ser. B Operations Research
Paper雑誌雑誌タイトル
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology<Z63-A413>
National Diet LibraryOther Libraries in Japan
  • ContinuesResearch reports on mathematical and computing sciences. Ser. B, Operations research
  •  
  •  
  •  
  •  
  •  
    •  

Research Reports on Information Sciences Ser. C Computer Science

Research Reports on Information Sciences Ser. C Computer Science
Paper雑誌雑誌タイトル
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology<Z63-A414>
National Diet LibraryOther Libraries in Japan
  • ContinuesResearch Reports on Mathematical and Computing Sciences. Ser. C, Computer Science
  •  
  •  
  •  
  •  
  •  
    •  

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

On the Completeness and the Decidability of Strictly Monadic Second-Order Logic
Digital文書・図像類
高木, 研斗, Takagi, Kento, 鹿島, 亮, KASHIMA, RYO東京工業大学 情報理工学院 数理・計算科学系2019-04Research Reports on Mathematical and Computing Sciences
Other Libraries in Japan

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

Completeness of Hilbert-style axiomatization for the extended computation tree logic ECTL
Paper文書・図像類
鹿島, 亮, KASHIMA, RYO2012-03Research Reports on Mathematical and Computing Sciences
Other Libraries in Japan

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
Paper文書・図像類
鹿島, 亮, KASHIMA, RYOTokyo Institute of Technology2009-12Research Reports on Mathematical and Computing SciencesC-266
Other Libraries in Japan

Research Reports on Information Sciences Ser. A Mathematical Science

Research Reports on Information Sciences Ser. A Mathematical Science
Paper雑誌雑誌タイトル
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology1974-1995<Z63-A416>
National Diet LibraryOther Libraries in Japan
  • ContinuesResearch 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
Paper文書・図像類
鹿島, 亮, KASHIMA, RYO2007-04Research Reports on Mathematical and Computing Sciences, TITC-244 No.
Other Libraries in Japan

A Proof-Theoretical Study on Logics with Constructible Falsity

A Proof-Theoretical Study on Logics with Constructible Falsity
Paper文書・図像類
鹿島, 亮, KASHIMA, RYO2003Research Reports on Mathematical and Computing Sciences, TITC-165
Other Libraries in Japan

Proof Theoretical Studies on Semilattice Relevant Logics

Proof Theoretical Studies on Semilattice Relevant Logics
Paper文書・図像類
鹿島, 亮, KASHIMA, RYO2001Research Reports on Mathematical and Computing Sciences, TITC-157
Other Libraries in Japan

A Proof of the Standardization Theorem in Lambda-Calculus

A Proof of the Standardization Theorem in Lambda-Calculus
Paper文書・図像類
鹿島, 亮, KASHIMA, RYO2000Research Reports on Mathematical and Computing Sciences, TITC-145
Other Libraries in Japan

Labelled sequent calculi and completeness theorems for implicational relevant logics

Labelled sequent calculi and completeness theorems for implicational relevant logics
Paper文書・図像類
鹿島, 亮, KASHIMA, RYO1999Research Reports on Mathematical and Computing Sciences, TITC-140
Other Libraries in Japan

Reached to the end of result.

RSS