( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Diagrammatic Inference System with Euler Circles.

, , и . 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.

Mitsuhiro Saito

Mitsuhiro Matsubara

Naotake Okada

Hinoto Okada

Mamiko Okada

 

Другие публикации лиц с тем же именем

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