( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Generalized beta-Reduction and Explicit Substitution.

, и . PLILP, том 1140 из Lecture Notes in Computer Science, стр. 378-392. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

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

 

Другие публикации лиц с тем же именем

Fitted avatars: automatic skeleton adjustment for self-avatars in virtual reality., , , , , и . Virtual Real., 27 (3): 2541-2560 (сентября 2023)Pure Pattern Calculus à la de Bruijn., , и . LSFA, том 351 из Electronic Notes in Theoretical Computer Science, стр. 95-113. Elsevier, (2020)A Lambda-Calculus with Constructors., , и . RTA, том 4098 из Lecture Notes in Computer Science, стр. 181-196. Springer, (2006)Users' locomotor behavior in collaborative virtual reality., , и . MIG, стр. 15:1-15:9. ACM, (2018)Projections for infinitary rewriting (extended version)., , и . Theor. Comput. Sci., (2019)Projections for infinitary rewriting., , и . CoRR, (2016)Proof terms for infinitary rewriting, progress report., , и . CoRR, (2014)Generalized beta-Reduction and Explicit Substitution., и . PLILP, том 1140 из Lecture Notes in Computer Science, стр. 378-392. Springer, (1996)From Higher-Order to First-Order Rewriting., , и . RTA, том 2051 из Lecture Notes in Computer Science, стр. 47-62. Springer, (2001)A de Bruijn Notation for Higher-Order Rewriting., , и . RTA, том 1833 из Lecture Notes in Computer Science, стр. 62-79. Springer, (2000)