( en | de | ru )

 

Disambiguierung von "Tatsuta, Makoto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types

, und . Logical Methods in Computer Science, (2013)

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.

Makoto Yamamoto

Makoto Nakamura

Makoto Arai

Makoto Ida

Makoto Kobayashi

 

Weitere Publikationen von Autoren mit dem selben Namen

The function ëa/mûa/min sharply bounded arithmetic., und . Arch. Math. Log., 37 (1): 51-57 (1997)Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis.. MPC, Volume 1422 von Lecture Notes in Computer Science, Seite 338-364. Springer, (1998)Completeness of Pointer Program Verification by Separation Logic., , und . SEFM, Seite 179-188. IEEE Computer Society, (2009)Non-Commutative Infinitary Peano Arithmetic., und . CSL, Volume 12 von LIPIcs, Seite 538-552. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Positive Arithmetic Without Exchange Is a Subclassical Logic., und . APLAS, Volume 4807 von Lecture Notes in Computer Science, Seite 271-285. Springer, (2007)Types for Hereditary Head Normalizing Terms.. FLOPS, Volume 4989 von Lecture Notes in Computer Science, Seite 195-209. Springer, (2008)A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic., , , und . CAV (2), Volume 10427 von Lecture Notes in Computer Science, Seite 495-517. Springer, (2017)Counterexample to cut-elimination in cyclic proof system for first-order logic with inductive definitions., und . CoRR, (2021)Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems., und . Chic. J. Theor. Comput. Sci., (2010)Separation Logic with Monadic Inductive Definitions and Implicit Existentials., und . APLAS, Volume 9458 von Lecture Notes in Computer Science, Seite 69-89. Springer, (2015)