( en | de | ru )

 

Disambiguierung von "Kobayashi, Naoki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compact bit encoding schemes for simply-typed lambda-terms.

, , , und . ICFP, Seite 146-157. ACM, (2016)

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.

Naoki Yoshida

Naoki Ueda

Naoki Fukuzawa

Naoki Tamura

Naoki Saito

 

Weitere Publikationen von Autoren mit dem selben Namen

Anemia Examination Using a Hyperspectral Camera in Telecare System., , , und . LifeTech, Seite 475-476. IEEE, (2021)Integration of Variable-height and Hopping Strategies for Humanoid Push Recovery., , , und . IROS, Seite 12979-12985. IEEE, (2022)On Higher-Order Reachability Games Vs May Reachability., , und . RP, Volume 13608 von Lecture Notes in Computer Science, Seite 108-124. Springer, (2022)MPEG-4 very low bit-rate video compression by adaptively utilizing sprite to short sequences., , , und . ICME (1), Seite 653-656. IEEE Computer Society, (2002)PARCS: An MPP-Oriented CLP Language., , , , und . PASCO, Seite 254-263. World Scientific, (1994)Demonstration of silicon photonic hybrid ring-filter external cavity wavelength tunable lasers., , , , , , , und . ECOC, Seite 1-3. IEEE, (2015)A New Refinement Type System for Automated $HFL_Z$ Validity Checking., , , und . APLAS, Volume 12470 von Lecture Notes in Computer Science, Seite 86-104. Springer, (2020)Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols., , , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 75-89. Springer, (2011)Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence., , , und . CoRR, (2018)Challenging EMC problems on two-dimensional communication systems., , und . INSS, Seite 130-137. IEEE, (2010)