( en | de | ru )

 

Disambiguierung von "Okada, Mitsuhiro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Diagrammatic Inference System with Euler Circles.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mitsuhiro Saito

Mitsuhiro Matsubara

Naotake Okada

Hinoto Okada

Mamiko Okada

 

Weitere Publikationen von Autoren mit dem selben Namen

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