伊娃·乌兰
人员信息
优化列表
2000 – 2009
2001 【c4】 玛丽亚·特蕾莎·霍塔拉-冈萨雷斯 , 伊娃·乌兰 :
基于抽象机器的惰性窄微积分系统。 FLOPS(浮动) 2001 : 216-232 2000 【c3】 玛丽亚·特蕾莎·霍塔拉-冈萨雷斯 , 伊娃·乌兰 :
基于抽象机器的惰性收缩演算实验系统。 WFLP公司 2000 : 525-540
1990 – 1999
1996 【c2】 普里·阿雷纳斯-桑切斯 , 玛丽亚·特蕾莎·霍塔拉-冈萨雷斯 , 弗朗西斯科·哈维尔·洛佩斯·弗拉瓜斯 , 伊娃·乌兰 :
函数逻辑语言中的实际约束。 APPIA-GULP-PRODE公司 1996 : 451-464 1995 【c1】 伊娃·乌兰 :
通过示例在抽象机器上进行惰性缩小。 活塞销 1995 : 359-370