伊芙琳·纳尔逊
人员信息
附属: 加拿大安大略省汉密尔顿市麦克马斯特大学数学科学系
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
1990 – 1999
1995 [公元9年] 杰里·阿达梅克 , 伊芙琳·纳尔逊 , 简·雷特曼 :
重温连续代数。 J.计算。 系统。 科学。 51 ( 三 ) : 460-471 ( 1995 )
1980 – 1989
1988 [j8] 杰里·阿达梅克 , 艾伦·H·梅克尔 , 伊芙琳·纳尔逊 , 简·雷特曼 :
关于连续代数的逻辑。 圣母院J.正式日志。 29 ( 三 ) : 365-380 ( 1988 ) 1987 [j7] 艾伦·H·梅克尔 , 伊芙琳·纳尔逊 :
If Then Else的赤道基。 SIAM J.计算。 16 ( 三 ) : 465-485 ( 1987 ) 1986 [j6] 杰里·阿达梅克 , 简·雷特曼 , 伊芙琳·纳尔逊 :
连续半格。 西奥。 计算。 科学。 43 : 293-313 ( 1986 ) 1985 【c1】 伊芙琳·纳尔逊 :
连续序代数的最新结果。 FCT公司 1985 : 320-330 1983 [j5] 伊芙琳·纳尔逊 :
迭代代数。 西奥。 计算。 科学。 25 : 67-94 ( 1983 ) 【j4】 杰里·阿达梅克 , 伊芙琳·纳尔逊 :
独立连续代数。 西奥。 计算。 科学。 27 : 225-231 ( 1983 ) 1982 [j3] 杰里·阿达梅克 , 伊芙琳·纳尔逊 , 简·雷特曼 :
自由连续代数的树结构。 J.计算。 系统。 科学。 24 ( 1 ) : 114-146 ( 1982 ) [注2] 伯恩哈德·巴纳修斯基 , 伊芙琳·纳尔逊 :
部分序集的完备化。 SIAM J.计算。 11 ( 三 ) : 521-528 ( 1982 ) 1980 [j1] 伊芙琳·纳尔逊 :
形式语言的范畴和拓扑方面。 数学。 系统。 理论 13 : 255-273 ( 1980 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)