Navegar

Colección

Datos Estadísticas

Lista de

2006
884
17th International Conference on Term Rewriting and Applications, RTA 2006
1
"A lambda-calculus with constructors" (2006) Arbiser, A.; Miquel, A.; Ríos, A. 17th International Conference on Term Rewriting and Applications, RTA 2006. 4098 LNCS:181-196