( en | de | ru )

 

Disambiguation of "Okada, Mitsuhiro"

Author of the publication

copydeleteadd this publication to your clipboard
A Diagrammatic Inference System with Euler Circles.

, , and . J. Log. Lang. Inf., 21 (3): 365-391 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mitsuhiro Saito

Mitsuhiro Matsubara

Mamiko Okada

Naotake Okada

Hinoto Okada

 

Other publications of authors with the same name

Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style., , and . Diagrams, volume 6170 of Lecture Notes in Computer Science, page 99-114. Springer, (2010)A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic., and . Theor. Comput. Sci., 294 (3): 551-573 (2003)Corrigendum to "Inductive-data-type systems" Theoret. Comput. Sci. 272 (1-2) (2002) 41-68., , and . Theor. Comput. Sci., (2020)A Rationale for Conditional Equational Programming., and . Theor. Comput. Sci., 75 (1&2): 111-138 (1990)Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases., , , , and . CoRR, (2023)Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System.. ISSAC, page 357-363. ACM, (1989)Computational Semantics for Basic Protocol Logic - A Stochastic Approach., , and . ASIAN, volume 4846 of Lecture Notes in Computer Science, page 86-94. Springer, (2007)Very low-delay H.264 codec for consumer applications., , , , and . ICCE, page 65-66. IEEE, (2012)A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems.. Logic, Language, and Security, volume 12300 of Lecture Notes in Computer Science, page 39-47. Springer, (2020)A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems., and . WRLA@ETAPS, volume 12328 of Lecture Notes in Computer Science, page 136-155. Springer, (2020)