( en | de | ru )

 

Disambiguierung von "Ríos, Alejandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Swapping: a natural bridge between named and indexed explicit substitution calculi

, , und . HOR, Volume 49 von EPTCS, Seite 1-15. (2010)

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.

Juan Ríos Muñoz

Róger Humberto Ríos Duarte

Miguel Ríos-Ramírez

Róger Humberto Ríos Duarte

Gregorio Salvador Ríos

 

Weitere Publikationen von Autoren mit dem selben Namen

Relating the λσ- and λs-styles of explicit substitutions., und . J. Log. Comput., 10 (3): 349-380 (2000)Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms., und . J. Funct. Program., 7 (4): 395-420 (1997)Fitted avatars: automatic skeleton adjustment for self-avatars in virtual reality., , , , , und . Virtual Real., 27 (3): 2541-2560 (September 2023)Pure Pattern Calculus à la de Bruijn., , und . LSFA, Volume 351 von Electronic Notes in Theoretical Computer Science, Seite 95-113. Elsevier, (2020)A Lambda-Calculus with Constructors., , und . RTA, Volume 4098 von Lecture Notes in Computer Science, Seite 181-196. Springer, (2006)Follower behavior under stress in immersive VR., und . Virtual Real., 24 (4): 683-694 (2020)Users' locomotor behavior in collaborative virtual reality., , und . MIG, Seite 15:1-15:9. ACM, (2018)An abstract normalisation result with applications to non-sequential calculi., , , und . CoRR, (2014)Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi., und . Log. J. IGPL, 6 (6): 843-874 (1998)Strong Normalizations of Substitutions., , und . J. Log. Comput., 6 (6): 799-817 (1996)