×
作者ID: 维勒比尔·吉里“Velebil,Jiří”最近发表的zbMATH文章
发布日期: 吉·维勒比尔;韦利比尔,J。
主页: https://math.fel.cvut.cz/en/people/velebil网站/
外部链接: MGP公司·数据库许可证
已编制索引的文档: 61出版物自1996年以来,包括4个附加arXiv预打印
合著者: 19位合著者具有59联合出版物
351联合作者

按年份列出的出版物

zbMATH Open中包含的引文

49出版物有被引用321中的次168文件 引用人 年份
无限的树和完全迭代的理论:一种代数观点。 Zbl 1028.68077号
彼得·阿策尔;阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
44
2003
迭代代数在起作用。 Zbl 1112.18005号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
31
2006
无限树和迭代的联合视图。 兹比尔1260.68235
彼得·阿策尔;阿达梅克,吉安尼;吉·维勒比尔
17
2001
埃尔戈特代数。 Zbl 1127.68058号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
16
2006
自由迭代理论:一个联合的观点。 Zbl 1030.18004号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
14
2003
关系解除,一项调查。 Zbl 1344.68167号
亚历山大·库兹;吉·维勒比尔
13
2016
有序丰富类别中的Kan内射性。 Zbl 1362.18012号
阿达梅克,吉安尼;卢尔德·索萨;吉·维勒比尔
11
2015
积极联合逻辑的表达。 Zbl 1291.03034号
Krzysztof卡普尔金;亚历山大·库兹;吉·维勒比尔
11
2012
迭代单子的方程性质。 Zbl 1234.68271号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
10
2010
序代数的拟簇和簇:正则性和精确性。 Zbl 1423.08007号
亚历山大·库兹;吉里韦莱比尔
9
2015
Elgot理论:迭代方程性质的新视角。 Zbl 1222.18002号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉里韦莱比尔
9
2011
解析函子和弱回调。 Zbl 1163.18002号
阿达梅克,J;韦利比尔,J。
7
2008
迭代代数:它们是如何迭代的? Zbl 1137.68042号
阿达梅克,J。;R·Börger。;米利厄斯,S。;韦利比尔,J。
7
2007
基于类的余代数。 兹比尔1047.18005
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
7
2004
单子的迭代反射。 Zbl 1239.18005号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
7
2010
无穷变数和代数理论之间的对偶关系。 Zbl 1035.08004号
阿达梅克,吉安尼;瓦克拉夫·库贝克;韦利比尔,J。
6
2000
联合逻辑的积极片段。 Zbl 1394.03035号
阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔
6
2013
高阶递归方案的语义。 Zbl 1218.03013号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
6
2011
函子和单子的等式表示。 Zbl 1235.18003号
吉·维勒比尔;亚历山大·库兹
6
2011
关于有限单子和迭代单子的一些注释。 Zbl 1035.18002号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
5
2003
联合逻辑的积极片段。 兹比尔1337.03024
阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔
5
2015
关系提升,应用于多值覆盖形式。 Zbl 1287.18008号
贝尔科娃,玛尔塔;亚历山大·库兹;丹尼拉·佩特里西安;吉·维勒比尔
5
2013
预升的同时反射和共反射子类别。 Zbl 1035.18005号
罗伯特·巴希尔;吉·维勒比尔
4
2002
共同完成的完整性。 Zbl 1068.18002号
卡拉泽利斯,帕纳吉斯;罗西克、吉伊;吉·维勒比尔
4
2005
什么是迭代理论? 兹比尔1147.18301
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
4
2007
有序代数变体的分类视图。 Zbl 1506.18009号
阿达梅克,J。;多斯塔尔,M。;韦利比尔,J。
4
2022
丰富的逻辑连接。 Zbl 1298.18007号
亚历山大·库兹;吉·维勒比尔
4
2013
关于有理单子和自由迭代理论。 Zbl 1270.18010号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
4
2003
高阶递归方案的语义。 Zbl 1239.68041号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2009
将集函子扩展到广义度量空间。 Zbl 1408.18005号
阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔
2019
参数化迭代的基。 Zbl 1160.18003号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2008
具有参数化迭代性的代数。 Zbl 1131.18002号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2007
Elgot理论:迭代理论的新视角(扩展抽象)。 Zbl 1338.18017号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2009
函子从Set到\({\mathcal V}\)-cat的扩展。 Zbl 1366.18003号
阿德里安娜·巴兰;亚历山大·库兹;吉·维勒比尔
2015
基的迭代代数。 Zbl 1272.68281号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2005
最终余代数和任意内函子的解定理。 Zbl 1270.68183号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉里韦莱比尔
2002
预订单和偏序集上的关系提升。 Zbl 1343.18003号
贝尔科娃,玛尔塔;亚历山大·库兹;丹尼拉·佩特里西安;吉·维勒比尔
2011
关于二阶迭代单子。 Zbl 1243.68206号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2011
单子的迭代反射描述(扩展抽象)。 Zbl 1234.18003号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2
2009
相对于学说的代表性。 Zbl 1190.18001号
卡拉泽利斯,帕纳吉斯;吉·维勒比尔
2
2009
一个一般的最后余代数定理。 Zbl 1080.18004号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2
2005
将子结构逻辑作为偏序集上的余代数逻辑进行分配。 Zbl 1295.03012号
贝尔科娃,玛尔塔;罗斯蒂斯拉夫·霍奇克;吉·维勒比尔
2
2012
关于泛化泛域的范畴。 Zbl 0933.18005号
特伦科娃,维拉;吉·维勒比尔
1
1999
关于范畴的保守共构成的一句话。 Zbl 1003.18003号
吉·维勒比尔;阿达梅克,吉安尼
1
2002
可及范畴中的最终余代数。 Zbl 1258.18002号
卡拉泽利斯,帕纳吉斯;阿波斯托洛斯·马扎利斯;吉·维勒比尔
1
2011
一种对正的哥白氏逻辑的制度方法。 Zbl 1444.03184号
阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔
1
2017
Elgot代数(扩展抽象)。 Zbl 1273.18008号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
1
2006
递归程序方案和上下文无关的monad。 Zbl 1247.68049号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
1
2010
参数化迭代的基本模块。 Zbl 1282.68168号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
1
2014
有序代数变体的分类视图。 Zbl 1506.18009号
阿达梅克,J。;多斯塔尔,M。;韦利比尔,J。
4
2022
将集函子扩展到广义度量空间。 Zbl 1408.18005号
阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔
2019
积极联合逻辑的制度方法。 Zbl 1444.03184号
阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔
1
2017
关系解除,一项调查。 Zbl 1344.68167号
亚历山大·库兹;吉·维勒比尔
13
2016
有序丰富类别中的Kan内射性。 兹伯利1362.18012
阿达梅克,吉安尼;卢尔德·索萨;吉·维勒比尔
11
2015
序代数的拟簇和簇:正则性和精确性。 Zbl 1423.08007号
亚历山大·库兹;吉·维勒比尔
9
2015
联合逻辑的积极片段。 Zbl 1337.03024号
阿德里安娜·巴兰;亚历山大·库兹;吉·维勒比尔
5
2015
函子从Set到\({\mathcal V}\)-cat的扩展。 Zbl 1366.18003号
阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔
2015
参数化迭代的基本模块。 兹比尔1282.68168
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
1
2014
联合逻辑的积极片段。 Zbl 1394.03035号
阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔
6
2013
关系提升,应用于多值覆盖形式。 Zbl 1287.18008号
贝尔科娃,玛尔塔;亚历山大·库兹;丹尼拉·佩特里西安;吉·维勒比尔
5
2013
丰富的逻辑连接。 Zbl 1298.18007号
亚历山大·库兹;吉·维勒比尔
4
2013
积极联合逻辑的表达。 Zbl 1291.03034号
Krzysztof卡普尔金;亚历山大·库兹;吉·维勒比尔
11
2012
将子结构逻辑作为偏序集上的余代数逻辑进行分配。 Zbl 1295.03012号
贝尔科娃,玛尔塔;罗斯蒂斯拉夫·霍奇克;吉·维勒比尔
2
2012
Elgot理论:迭代方程性质的新视角。 Zbl 1222.18002号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
9
2011
高阶递归方案的语义。 Zbl 1218.03013号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉里韦莱比尔
6
2011
函子和单子的等式表示。 Zbl 1235.18003号
吉·维勒比尔;亚历山大·库兹
6
2011
预订单和偏序集上的关系提升。 Zbl 1343.18003号
贝尔科娃,玛尔塔;亚历山大·库兹;丹尼拉·佩特里西安;吉·维勒比尔
2011
关于二阶迭代单子。 兹比尔1243.68206
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2011
可及范畴中的最终余代数。 Zbl 1258.18002号
卡拉泽利斯,帕纳吉斯;阿波斯托洛斯·马扎利斯;吉·维勒比尔
1
2011
迭代单元的赤道性质。 Zbl 1234.68271号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
10
2010
单子的迭代反射。 Zbl 1239.18005号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
7
2010
递归程序方案和无上下文单体。 Zbl 1247.68049号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉里韦莱比尔
1
2010
高阶递归方案的语义。 Zbl 1239.68041号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2009
Elgot理论:迭代理论的新视角(扩展抽象)。 Zbl 1338.18017号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2009
单子的迭代反射描述(扩展抽象)。 Zbl 1234.18003号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2
2009
相对于学说的代表性。 Zbl 1190.18001号
卡拉泽利斯,帕纳吉斯;吉·维勒比尔
2
2009
解析函子和弱回调。 兹比尔1163.18002
阿达梅克,J;韦利比尔,J。
7
2008
参数化迭代的基。 Zbl 1160.18003号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2008
迭代代数:它们是如何迭代的? Zbl 1137.68042号
Adámek,J。;R·Börger。;米利厄斯,S。;韦利比尔,J。
7
2007
什么是迭代理论? Zbl 1147.18301号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
4
2007
具有参数化迭代性的代数。 Zbl 1131.18002号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2007
迭代代数在起作用。 Zbl 1112.18005号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
31
2006
埃尔戈特代数。 Zbl 1127.68058号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
16
2006
Elgot代数(扩展抽象)。 Zbl 1273.18008号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
1
2006
共同完成的完整性。 Zbl 1068.18002号
卡拉泽利斯,帕纳吉斯;罗西克、吉伊;吉·维勒比尔
4
2005
基的迭代代数。 Zbl 1272.68281号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2005
一个一般的最后余代数定理。 Zbl 1080.18004号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2
2005
基于类的余代数。 兹比尔1047.18005
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
7
2004
无限树和完全迭代理论:一个联合的观点。 Zbl 1028.68077号
彼得·阿策尔;阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
44
2003
自由迭代理论:一个联合的观点。 Zbl 1030.18004号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
14
2003
关于有限元和迭代单元的一些注记。 Zbl 1035.18002号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
5
2003
关于有理单子和自由迭代理论。 Zbl 1270.18010号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
4
2003
预升的同时反射和共反射子类别。 兹比尔1035.18005
罗伯特·巴希尔;吉·维勒比尔
4
2002
最终余代数和任意内函子的解定理。 Zbl 1270.68183号
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔
2002
关于范畴的保守余完备的一点注记。 Zbl 1003.18003号
吉·维勒比尔;阿达梅克,吉安尼
1
2002
无限树和迭代的联合视图。 Zbl 1260.68235号
彼得·阿策尔;阿达梅克,吉安尼;吉·维勒比尔
17
2001
无穷变数和代数理论之间的对偶关系。 Zbl 1035.08004号
阿达梅克,吉安尼;瓦克拉夫·库贝克;韦利比尔,J。
6
2000
关于泛化泛域的范畴。 Zbl 0933.18005号
特伦科娃,维拉;吉·维勒比尔
1
1999
全部的 前5名

160位作者引用

39 斯特凡·米利厄斯
33 阿达梅克,吉安尼
23 吉·维勒比尔
10 卢茨·施罗德
8 塔尔莫乌斯塔卢
7 谢尔盖·冈查洛夫
7 卢尔德·索萨
6 菲利波·邦奇
6 弗朗西斯科·达尼诺
5 尼尔·加尼
5 亚历山大·库兹
5 劳伦斯·莫斯。
5 马西耶·皮罗格
5 克里斯托夫·劳赫
5 罗西克、吉伊
5 朱里安·罗特
4 巴特·雅各布斯
4 保罗·布莱恩·利维
4 亚历山大·席尔瓦
4 海宁·乌尔巴特
4 托尔斯滕·维曼
玛丽亚·曼努埃尔·克莱门蒂诺
弗雷德里克·达尔奎斯特
吉姆·德·格罗特
费德里科·德·马奇
佐尔坦·埃西克
马科托·哈马纳
彼得·吉普森
德克斯特·C·科赞。
莱克,斯蒂芬
克里斯托弗·吕思
罗伯特·S·R·迈尔斯。
德克·帕丁森
阿莱西奥·桑塔马利亚
瓦尔莫·维尼
威尔德,保罗
2 纳塔内尔·阿尔佩
2 大卫·安科纳
2 马塞洛·玛丽亚·邦桑格
2 弗朗西斯·博尔塞克斯
2 马里亚纽拉州Dezani-Ciancaglini
2 马特·多斯塔尔
2 杰里米·吉本斯
2 克劳迪奥·赫米达
2 德克·霍夫曼
2 卡拉泽利斯,帕纳吉斯
2 胜本,Shin-ya
2 萨米·拉扎尔
2 洛佩斯·弗兰科,伊格纳西奥·L。
2 费尔南多·卢卡泰利·努恩斯
2 Lucyshyn-Wright,Rory B。
2 阿卜杜勒瓦赫布·姆赫姆迪
2 佩德罗·诺拉
2 杰森·帕克。
2 Daniela Luan Petrisan
2 Damien Pous
2 美国雷迪。
2 Edmund P.罗宾逊。
2 圣托卡纳莱,路易吉
2 梅丽莎·杉本
2 贾科莫·丹达斯
2 维尼马,伊德
2 伊泰·韦斯
2 祖卡,埃琳娜
1 穆尔迪·阿巴斯
1 彼得·阿策尔
1 沙比尔·艾哈迈德·阿汉加
1 阿伦斯,贝内迪克特
1 塔雷克·穆罕默德·阿尔·沙米
1 花生四烯酸盐、瓦西里欧斯
1 川崎朝田
1 杰里米·阿维加德
1 阿德里亚娜·巴兰
1 佛朗哥·巴巴内拉
1 埃尔万·贝里尔
1 尼克·贝扎尼什维利
1 贝尔科娃,玛尔塔
1 斯蒂芬·布鲁姆。
1 维南西奥·卡普雷塔
1 玛格丽达·卡瓦略
1 吉安·卢卡·卡塔尼
1 陈良婷
1 文森佐·西安西亚
1 杰弗里·S·H·克鲁特韦尔。
1 天,布莱恩·约翰
1 乌尔里希·多尔希
1 杰瑞米·杜布特
1 约尔格恩德鲁利斯
1 贝特弗里德·福泽
1 马塞洛·菲奥雷(Marcelo P.Fiore)。
1 福特、蔡斯
1 乔纳森·加拉赫
1 尼古拉·甘比诺
1 理查德·加纳
1 杰伦、布拉姆
1 保拉·吉安尼尼
1 勒内·吉塔特
1 Zuzana Haniková
1 Helle Hvid Hansen先生
1 一郎·哈索
…还有60多位作者

按年份列出的引文