M. Okada
发表
Nachum Dershowitz,
Mitsuhiro Okada,
N. Dershowitz,
1990,
Theor. Comput. Sci..
Nachum Dershowitz,
G. Sivakumar,
Mitsuhiro Okada,
1988,
CTRS.
Mitsuhiro Okada,
M. Okada,
1988,
Eur. J. Comb..
Nachum Dershowitz,
G. Sivakumar,
Mitsuhiro Okada,
1988,
CADE.
Max I. Kanovich,
Andre Scedrov,
Mitsuhiro Okada,
2003,
MFPS.
J. Jouannaud,
M. Okada,
1997
.
M. Okada,
S. Kaplan,
1991
.
M. Okada,
K. Terui,
1997
.
Kazushige Terui,
Mitsuhiro Okada,
M. Okada,
1998
.
Koji Hasebe,
Mitsuhiro Okada,
Gergei Bana,
2013,
CCS.
Koji Hasebe,
Mitsuhiro Okada,
Gergei Bana,
2014
.
M. Okada,
K. Mineshima,
Ryo Takemura,
2010
.
M. Okada,
G. Sivakumar,
U. Reddy,
1990
.
M. Okada,
1989
.
Akinori Yonezawa,
Benjamin C. Pierce,
Hideyuki Tokuda,
2002
.
M. Okada,
1988,
Journal of Symbolic Logic.
M. Okada,
Ryo Takemura,
2019
.
M. Okada,
K. Mineshima,
Ryo Takemura,
2010
.
Boon Thau Loo,
Tajana Ban Kirigin,
Mitsuhiro Okada,
2020,
Logic, Language, and Security.
M. Okada,
M. Hartimo,
2016,
Synthese.
Mitsuhiro Okada,
M. Okada,
2013,
RTA.
Koji Hasebe,
Mitsuhiro Okada,
Gergei Bana,
2009,
Formal to Practical Security.
Koji Hasebe,
Mitsuhiro Okada,
Gergei Bana,
2007,
ASIAN.
Kazushige Terui,
Max I. Kanovich,
Mitsuhiro Okada,
2006,
Mathematical Structures in Computer Science.
Kazushige Terui,
Mitsuhiro Okada,
M. Okada,
1999,
Journal of Symbolic Logic.
J. Jouannaud,
M. Okada,
1997,
Theor. Comput. Sci..
Jean-Pierre Jouannaud,
Mitsuhiro Okada,
J. Jouannaud,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Max I. Kanovich,
Andre Scedrov,
Mitsuhiro Okada,
1998,
COTIC.
M. Okada,
K. Mineshima,
Ryo Takemura,
2012,
Studia Logica.
Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases
M. Okada,
K. Mineshima,
Hirohiko Abe,
2023,
2306.12567.
Koji Mineshima,
Yuri Sato,
Mitsuhiro Okada,
2014,
J. Vis. Lang. Comput..
Koji Mineshima,
Mitsuhiro Okada,
Ryo Takemura,
2012,
Studia Logica.
Koji Mineshima,
Mitsuhiro Okada,
Ryo Takemura,
2012,
Journal of Logic, Language and Information.
Koji Mineshima,
Yuri Sato,
Mitsuhiro Okada,
2008,
Diagrams.
Koji Mineshima,
Mitsuhiro Okada,
Ryo Takemura,
2009
.
Mitsuhiro Okada,
Masahiro Hamano,
M. Okada,
1998,
Arch. Math. Log..
Jean-Pierre Jouannaud,
Mitsuhiro Okada,
Frédéric Blanqui,
2002,
Theor. Comput. Sci..
Mitsuhiro Okada,
M. Okada,
1989,
ISSAC '89.
Jean-Pierre Jouannaud,
Mitsuhiro Okada,
J. Jouannaud,
1991,
ICALP.
Mitsuhiro Okada,
Shigeru Watanabe,
Takeo Tsujii,
2010,
Behavioural Brain Research.
Mitsuhiro Okada,
M. Okada,
2002,
Theor. Comput. Sci..
M. Okada,
Ryo Takemura,
2007
.
Mitsuhiro Okada,
M. Okada,
1988,
CTRS.
J. Jouannaud,
M. Okada,
F. Blanqui,
1999,
RTA.
Mitsuhiro Okada,
Ryo Takemura,
M. Okada,
2007,
Rewriting, Computation and Proof.
Mitsuhiro Okada,
Gergei Bana,
M. Okada,
2016,
CSL.
Mitsuhiro Okada,
M. Okada,
2021
.
M. Okada,
2008
.
Mitsuhiro Okada,
M. Okada,
1987,
Stud Logica.
M. Okada,
1987,
Journal of Symbolic Logic.
Mitsuhiro Okada,
Yexuan Gui,
M. Okada,
1993,
LPAR.
Mitsuhiro Okada,
Yexuan Gui,
M. Okada,
1993,
RTA.
Mitsuhiro Okada,
Masahiro Hamano,
M. Okada,
1995,
Math. Log. Q..
Koji Mineshima,
Mitsuhiro Okada,
Ryo Takemura,
2009
.
Koji Mineshima,
Mitsuhiro Okada,
Ryo Takemura,
2010,
Diagrams.
M. Okada,
K. Mineshima,
Yuri Sato,
2009
.