Faculty of Letters

Research Output

Filter
Conference article
2019

On quasi ordinal diagram systems

Okada, M. & Takahashi, Y., 2019 Jan 1, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 288, p. 38-49 12 p.

Research output: Contribution to journalConference article

Open Access
2013

Shape perception in chemistry

Hastings, J., Batchelor, C. & Okada, M., 2013 Jan 1, In : CEUR Workshop Proceedings. 1007, p. 83-94 12 p.

Research output: Contribution to journalConference article

2012

On the cognitive efficacy of euler diagrams in syllogistic reasoning: A relational perspective

Mineshima, K., Sato, Y., Takemura, R. & Okada, M., 2012 Jan 1, In : CEUR Workshop Proceedings. 854, p. 17-31 15 p.

Research output: Contribution to journalConference article

3 Citations (Scopus)
9 Citations (Scopus)
2009

Conservativity for a hierarchy of Euler and Venn reasoning systems

Mineshima, K., Okada, M. & Takemura, R., 2009 Dec 1, In : CEUR Workshop Proceedings. 510, p. 37-61 25 p.

Research output: Contribution to journalConference article

6 Citations (Scopus)
2007

Computational semantics for basic protocol logic a stochastic approach

Bana, G., Hasebe, K. & Okada, M., 2007 Dec 1, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4846 LNCS, p. 86-94 9 p.

Research output: Contribution to journalConference article

2005
1 Citation (Scopus)
2003

Phase semantics for light linear logic

Kanovich, M. I., Okada, M. & Scedrov, A., 2003 Feb 18, In : Theoretical Computer Science. 294, 3, p. 525-549 25 p.

Research output: Contribution to journalConference article

10 Citations (Scopus)

Theoretical Computer Science: Preface

Girard, J. Y., Okada, M. & Scedrov, A., 2003 Feb 18, In : Theoretical Computer Science. 294, 3, 1 p.

Research output: Contribution to journalConference article

2002

Inductive-data-type systems

Blanqui, F., Jouannaud, J. P. & Okada, M., 2002 Feb 6, In : Theoretical Computer Science. 272, 1-2, p. 41-68 28 p.

Research output: Contribution to journalConference article

40 Citations (Scopus)
1 Citation (Scopus)
1998

Specifying real-time finite-state systems in linear logic (extended abstract)

Kanovich, M. I., Okada, M. & Scedrov, A., 1998 Dec 1, In : Electronic Notes in Theoretical Computer Science. 16, 1, p. 42-59 18 p.

Research output: Contribution to journalConference article

8 Citations (Scopus)
1997

Phase semantics for light linear logic (extended abstract)

Kanovich, M. I., Okada, M. & Scedrov, A., 1997 Dec 1, In : Electronic Notes in Theoretical Computer Science. 6, p. 221-234 14 p.

Research output: Contribution to journalConference article

10 Citations (Scopus)