Toshihiko Kurata

Publication Activity (10 Years)

Years Active: 1995-2019
Publications (10 Years): 1

Top Topics

Relational Databases

Belief Revision

Propositional Logic

Top Venues

Fundam. Informaticae

Publications

Toshihiko Kurata, Ken-etsu Fujita
Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic. Fundam. Informaticae 170 (1-3) (2019)
Hajime Ishihara, Toshihiko Kurata
Completeness of intersection and union type assignment systems for call-by-value lambda-models. Theor. Comput. Sci. 272 (1-2) (2002)
Toshihiko Kurata
Intersection and Singleton Type Assignment Characterizing Finite Böhm-Trees. Inf. Comput. 178 (1) (2002)
Toshihiko Kurata
A Type Theoretical View of Böhm-Trees. TLCA (1997)
Toshihiko Kurata, Masako Takahashi
Decidable Properties of Intersection Type Systems. TLCA (1995)