简·雷特曼
人员信息
优化列表
1990 – 1999
1995 [j13] 杰里·阿达梅克 , 伊芙琳·纳尔逊 , 简·雷特曼 :
重温连续代数。 J.计算。 系统。 科学。 51 ( 三 ) : 460-471 ( 1995 ) 1994 [j12] 杰里·阿达梅克 , 简·雷特曼 :
Banach的定点定理是数据型方程的基础。 申请。 分类结构。 2 ( 1 ) : 77-90 ( 1994 ) 1992 [公元11年] A.费德利 , 简·雷特曼 , 安娜·托齐 :
Onw公司 阿尔法 -紧凑度。 谨慎。 数学。 108 ( 1-3 ) : 13-23 ( 1992 ) [公元10年] 简·雷特曼 , Vojtech罗德尔 , 伊迪塔·西纳乔娃 :
关于将图嵌入到小维欧氏空间。 J.库姆。 理论B 56 ( 1 ) : 1-8 ( 1992 )
1980 – 1989
1989 [公元9年] 简·雷特曼 :
关于标记图中单调路径的注记。 梳子。 9 ( 2 ) : 231-232 ( 1989 ) [j8] 简·雷特曼 , Vojtech罗德尔 , 伊迪塔·西纳乔娃 :
欧氏空间中图的嵌入。 谨慎。 计算。 地理。 4 : 349-364 ( 1989 ) [j7] 简·雷特曼 , Vojtech罗德尔 , 伊迪塔·西纳乔娃 :
图的几何嵌入。 谨慎。 数学。 74 ( 三 ) : 291-319 ( 1989 ) 1988 [j6] 前原浩史 , 简·雷特曼 , Vojtech罗德尔 , 伊迪塔·西纳乔娃 :
在欧氏空间中嵌入树。 图形梳。 4 ( 1 ) : 43-47 ( 1988 ) [j5] 吉瑞·阿达梅克 , 艾伦·H·梅克尔 , 伊芙琳·纳尔逊 , 简·雷特曼 :
关于连续代数的逻辑。 圣母院J.正式日志。 29 ( 三 ) : 365-380 ( 1988 ) 1987 【j4】 维拉·特伦科娃 , 简·雷特曼 :
带测试的动态代数。 J.计算。 系统。 科学。 35 ( 2 ) : 229-242 ( 1987 ) 1986 [j3] 杰里·阿达梅克 , 简·雷特曼 , 伊芙琳·纳尔逊 :
连续半格。 西奥。 计算。 科学。 43 : 293-313 ( 1986 ) 1985 [注2] 简·雷特曼 , Vojtech罗德尔 , 伊迪塔·西纳乔娃 , 米罗斯拉夫·图马 :
阈值超图。 谨慎。 数学。 54 ( 2 ) : 193-200 ( 1985 ) 1984 【c5】 简·雷特曼 , 维拉·特伦科娃 :
从动态代数到测试代数。 MFCS公司 1984 : 490-497 1982 [j1] 杰里·阿达梅克 , 伊芙琳·纳尔逊 , 简·雷特曼 :
自由连续代数的树结构。 J.计算。 系统。 科学。 24 ( 1 ) : 114-146 ( 1982 ) 1981 【c4】 简·雷特曼 , 维拉·特伦科娃 :
关于具有可逆性的动态代数的表示。 MFCS公司 1981 : 463-472 1980 【c3】 简·雷特曼 , 维拉·特伦科娃 :
非Kripke结构的动态代数。 MFCS公司 1980 : 528-538
1970 – 1979
1977 【c2】 简·雷特曼 :
泛代数的一个更具范畴性的模型。 FCT公司 1977 : 308-313 1975 【c1】 瓦克拉夫·库贝克 , 简·雷特曼 :
自动机和范畴-输入过程。 MFCS公司 1975 : 280-286