( en | de | ru )

 

Disambiguierung von "Tanaka, Ryo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Effectful applicative similarity for call-by-name lambda calculi.

, , und . Theor. Comput. Sci., (2020)

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.

Ryo Sugihara

Masao Tanaka

Ryo Kohsaka

Masafumi Tanaka

Jong Won Ryoo

 

Weitere Publikationen von Autoren mit dem selben Namen

Hopfield Neural Network with Double-Layer Amorphous Metal-Oxide Semiconductor Thin-Film Devices as Crosspoint-Type Synapse Elements and Working Confirmation of Letter Recognition., , , , , , , und . ICONIP (7), Volume 11307 von Lecture Notes in Computer Science, Seite 637-646. Springer, (2018)Effectful applicative similarity for call-by-name lambda calculi., , und . Theor. Comput. Sci., (2020)Linear Active Disturbance Rejection Controller Design Based on Disturbance Response Specification for a 1st Order Plant., , und . SICE, Seite 1250-1256. IEEE, (2020)LADRC Design Based on Disturbance Response Specification for the Second Order Plant., , und . ASCC, Seite 863-868. IEEE, (2022)Assessing Correlation of High-Resolution NDVI with Fertilizer Application Level and Yield of Rice and Wheat Crops Using Small UAVs., , , , , , , , , und . Remote Sensing, 11 (2): 112 (2019)The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens., , und . LICS, Seite 1-12. IEEE Computer Society, (2017)Controller Design Approach Based on Multi-variable Sliding Mode Control., , , , und . AsiaSim, Volume 474 von Communications in Computer and Information Science, Seite 71-82. Springer, (2014)The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version)., , und . CoRR, (2017)Knowledge Learning of Early Adopters Using Word-of-Mouth Data., , , und . KES, Volume 207 von Procedia Computer Science, Seite 2999-3007. Elsevier, (2022)The multi-objective optimization of Distribution System management in deregulated electricity market., , , und . IWCIA, Seite 155-160. IEEE, (2015)