×

兹马思-数学第一资源

Aït-Kaci,哈桑

计算距离:
作者ID: 艾特·卡奇。哈桑“Aït-Kaci,Hassan”最近发表的zbMATH文章
发布为: Aït-Kaci,哈桑;艾特·卡奇,哈桑
编制索引的文档: 19种出版物自1985年以来,包括2本书

按年份列出的出版物

zbMATH公开赛中包含的引文

15出版物有被引用74时间52份文件 引用人
带蕴涵逻辑程序设计的特征约束系统。 Zbl 0801.68023
Aït-Kaci,哈桑;波德尔斯基,安德烈亚斯;斯摩卡,格特
14
1994
走向生命的意义。 Zbl 0782.68022
Aït-Kaci,哈桑;波德尔斯基,安德烈亚斯
11
1993
类型方程有效解的代数语义方法。 Zbl 0628.68010
Aït-Kaci,哈桑
10
1986
走向生命的意义。 Zbl 0801.68018
Aït-Kaci,哈桑;波德尔斯基,安德烈亚斯
9
1991
继承层次:语义和统一。 Zbl 0678.68009
斯摩卡,格特;艾特·卡奇,哈桑
8
1989
一种公理化的特征项泛化方法。 Zbl 1007.68146号
Aït-Kaci,哈桑;佐佐木,玉须
7
2001
有序分类特征理论的统一。 Zbl 0884.68025
Aït-Kaci,哈桑;波德尔斯基;戈尔茨坦,塞思·科本
1997
Label selective \(\lambda\)—微积分语法和汇合。 Zbl 0925.03090
Aït-Kaci,哈桑;加里格,雅克
1993
类型包含作为计算模型。 Zbl 0632.68035
艾特·卡奇,哈桑
2
1986
求最小递归路径序的一种算法。 Zbl 0578.68029
Aït-Kaci,哈桑
2
1985
代数结构中方程的解析。第一卷:代数技巧。 Zbl 1109.68521
Aït-Kaci,哈桑(编辑);尼瓦特,莫里斯(编辑)
1
1989
用图形重写法求解类型方程。 Zbl 0576.68003
艾特·卡奇,哈桑
1
1985
基于特征的逻辑程序设计约束系统。 Zbl 0862.68024
Aït-Kaci,哈桑;波德尔斯基,安德烈亚斯;斯摩卡,格特
1
1992
有序排序特征约束的蕴涵与分解。 Zbl 0793.68022
Aït-Kaci,哈桑;波德尔斯基,安德烈亚斯
1
1993
相似签名上一阶项的模糊统一与推广。 Zbl 06932832号
Aït-Kaci,哈桑;帕西,加布里埃拉
1
2018
相似签名上一阶项的模糊统一与推广。 Zbl 06932832号
Aït-Kaci,哈桑;帕西,加布里埃拉
1
2018
一种公理化的特征项泛化方法。 Zbl 1007.68146号
Aït-Kaci,哈桑;佐佐木,玉须
7
2001
有序分类特征理论的统一。 Zbl 0884.68025
Aït-Kaci,哈桑;波德尔斯基,安德烈亚斯;戈尔茨坦,塞思·科本
1997
带蕴涵逻辑程序设计的特征约束系统。 Zbl 0801.68023
Aït-Kaci,哈桑;波德尔斯基,安德烈亚斯;斯摩卡,格特
14
1994
走向生命的意义。 Zbl 0782.68022
Aït-Kaci,哈桑;波德尔斯基,安德烈亚斯
11
1993
Label selective \(\lambda\)—微积分语法和汇合。 Zbl 0925.03090
Aït-Kaci,哈桑;加里格,雅克
1993
有序排序特征约束的蕴涵与分解。 Zbl 0793.68022
Aït-Kaci,哈桑;波德尔斯基,安德烈亚斯
1
1993
基于特征的逻辑程序设计约束系统。 Zbl 0862.68024
Aït-Kaci,哈桑;波德尔斯基,安德烈亚斯;斯摩卡,格特
1
1992
走向生命的意义。 Zbl 0801.68018
Aït-Kaci,哈桑;波德尔斯基
9
1991
继承层次:语义和统一。 Zbl 0678.68009
斯摩卡,格特;艾特·卡奇,哈桑
8
1989
代数结构中方程的解析。第一卷:代数技巧。 Zbl 1109.68521
Aït-Kaci,哈桑;尼瓦特,莫里斯
1
1989
类型方程有效解的代数语义方法。 Zbl 0628.68010
Aït-Kaci,哈桑
10
1986
类型包含作为计算模型。 Zbl 0632.68035
艾特·卡奇,哈桑
2
1986
求最小递归路径序的一种算法。 Zbl 0578.68029
Aït-Kaci,哈桑
2
1985
用图形重写法求解类型方程。 Zbl 0576.68003
艾特·卡奇,哈桑
1
1985
全部的 前5名

被71位作者引用

6 梅斯盖尔·瓜伊塔,何塞
6 斯摩卡,格特
5 Aït-Kaci,哈桑
4 波德尔斯基,安德烈亚斯
阿普特,玛里亚
圣地亚哥埃斯科巴
2 巴克芬,罗尔夫
2 Cirstea,Horatiu公司
2 德尔瓦多·维尔斯达,拉斐尔
2 肯,卡内瓦
2 奥杰达,佩德罗
2 安塔尼翁,圣地亚哥
2 Rodríguez Artalejo,马里奥
2 舒尔茨,克劳斯U。
1 巴德尔,弗兰兹
1 贝利亚,马可
1 布尔茨基,格拉伊纳
1 布内曼,彼得
1 Bürckert,Hans Jürgen
1 伯克,埃德蒙·基兰
1 卡贝扎,丹尼尔
1 凯索,伊夫
1 查拉托尼克,维托德
1 德肖维茨,纳库姆
1 德瑞,约琴
1 埃斯波特,沙维尔
1 费尔南德斯,安东尼奥J。
1 弗兰克,安德烈亚斯
1 加里格,雅克
1 Goguen,约瑟夫·阿马迪
1 哈利维,你好。
1 赫密尼基尔多,曼努埃尔诉。
1 霍洛德,伯恩哈德
1 霍塔拉-冈萨雷斯,特蕾莎
1 霍特曼,克莱门特
1 荣格,阿基姆
1 凯普瑟,斯蒂芬
1 基什内尔,克劳德
1 科哈塞,迈克尔
1 科佩兹,拉杜
1 特穆尔库兹亚
1 拉戈,乔奎因·马泰奥斯
1 劳克斯,阿明
1 莱曼,弗里茨
1 利维,乔迪
1 廖乐健
1 López Fraguas,弗朗西斯科·哈维尔
1 莱蒂宁,史蒂文L。
1 梅斯盖尔,佩德罗
1 莫劳,皮埃尔·艾蒂安
1 莫里斯,F.洛克伍德
1 莫希尔,M.安德鲁
1 尼伦,约阿希姆
1 西村素村
1 尼瓦特,莫里斯
1 奥贝罗伊,Sundeep
1 奥奇乌托,M.尤金尼亚
1 Ohori,Atsushi
1 帕西,加布里埃拉
1 恩里克广场
1 轮,威廉·C。
1 罗塞特,玛丽·克里斯汀
1 萨恩斯-佩雷斯,费尔南多
1 Schmidt Schauß,曼弗雷德
1 施莫尔兹,詹姆斯G。
1 史忠志
1 特雷宁,拉尔夫
1 维拉雷特,马修
1 沃罗比约夫,谢尔盖
1 怪人,本杰明
1 伍兹,威廉A。

按年份列出的引文