Navegar

Colección

Datos Estadísticas

Lista de

17th International Conference on Term Rewriting and Applications, RTA 2006
1
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