National Institute of Technology, Kisarazu College

output

19992022

most citedComputational wave optics library for C++: CWO++ library

115 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

Y. Tadokoro7 · h 7
Shuhei Wada6 · h 9
M. Kamata4 · h 6
A. Nakamula3 · h 7
F. Hiai2 · h 36
Hayato Hirai2 · h 8
Sotaro Sugishita2 · h 15
Taishi Kurahashi2 profiles2 · h 11
Y. Seo2 · h 17
A. Shiraki1 · h 18
Eita Nakamura1 · h 19
H. Osaka1 · h 16

collaborating institutions

Kitasato UniversityJP3 papers
Chiba UniversityJP2 papers
Osaka Kyoiku UniversityJP2 papers
The University of TokyoJP2 papers
Tohoku UniversityJP2 papers
High Energy Accelerator Research OrganizationJP1 paper
Kisarazu HospitalJP1 paper
Nagoya UniversityJP1 paper
National Institute of InformaticsJP1 paper
National Institute of TechnologyJP1 paper
Ritsumeikan UniversityJP1 paper
Shohoku CollegeJP1 paper

Showing math.LOShow all

2 papers · 1 filter

math.LO2018★ 2 cited

Rosser provability and normal modal logics

Taishi Kurahashi

In this paper, we investigate Rosser provability predicates whose provability logics are normal modal logics. First, we prove that there exists a Rosser provability predicate whose…

math.LO2018

Uniform Lyndon interpolation property in propositional modal logics

Taishi Kurahashi

We introduce and investigate the notion of uniform Lyndon interpolation property (ULIP) which is a strengthening of both uniform interpolation property and Lyndon interpolation pro…