Department of Philosophy

Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Linear Logic Mathematics
Semantics Engineering & Materials Science
Cut-elimination Mathematics
Abstract data types Engineering & Materials Science
Completeness Mathematics
Logic Mathematics
Abstract Data Types Mathematics
Type Systems Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.


Research Output 1996 2018

Corrigendum to “Inductive-data-type systems” [Theoret. Comput. Sci. 272 (1–2) (2002) 41–68]

Blanqui, F., Jouannaud, J. P. & Okada, M., 2018 Jan 1, (Accepted/In press) In : Theoretical Computer Science.

Research output: Contribution to journalArticle

Abstract data types
Type Systems
Abstract Data Types
Strictly positive

Qualitatively coherent representation makes decision-making easier with binary-colored multi-attribute tables: An eye-tracking study

Morii, M., Ideno, T., Takemura, K. & Okada, M., 2017 Aug 17, In : Frontiers in Psychology. 8, AUG, 1388.

Research output: Contribution to journalArticle

Decision Making
Eye Movements

Semantics for "enough-certainty" and fitting's embedding of classical logic in S4

Bana, G. & Okada, M., 2016 Aug 1, Computer Science Logic 2016, CSL 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 62.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Security of data
Network protocols