×

找到62位作者(结果1-62)

胡安·巴勃罗·阿奎莱拉

35出版物(2016–2024)编入索引的
50条引文
合著者: Fernández Duque,David;马提亚斯·巴兹;比季奥夫斯克,简…
主要字段: 数学逻辑与基础(03-XX)
发布日期: Juan P.阿奎莱拉。;J.P.阿奎莱拉。;胡安·巴勃罗·阿奎莱拉

阿莱、东山英彦

85出版物(1982–2023)编入索引的
190条引文
合著者: Jörg Brendle;冯琦;斯坦利·斯科特(Stanley Scott Wainer)…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 阿莱、东山英彦;阿莱,T。

菲利普·巴尔比亚尼

127出版物(1991–2023)编入索引的
408引文
合著者: 廷切夫,廷科;安德烈亚斯·赫齐格(Andreas Herzig);Vakarelov,Dimiter…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 菲利普·巴尔比亚尼;巴尔比亚尼,P。

列夫·贝克莱米舍夫。

84出版物(1987–2024)编入索引的
438条引文
合著者: AlekseĭL'vovich;塞姆诺夫;利塞诺克(Igor‘Geront’evich Lysenok);Bukhshtaber,Viktor Matveevich…
主要字段: 数学逻辑与基础(03-XX);总体主题;集合(00-XX)
发布日期: L.D.Beklemishev。;列夫·贝克莱米舍夫。;列夫·贝克莱米舍夫;Beklemishev,L。

古拉姆·贝扎尼什维利

152出版物(1997–2024)编入索引的
855条引文
合著者: Patrick J.Morandi。;Nick Bezhanishvili;约翰·哈丁…
主要字段: 阶、格、有序代数结构(06-XX);数学逻辑与基础(03-XX)
发布日期: 古拉姆·贝扎尼什维利;G.贝扎尼什维利。

贝尔科娃,玛尔塔

35出版物(2001–2024)编入索引的
95条引文
合著者: 萨宾·弗里特拉;Kozhemiachenko,Daniel;Ondrej Majer…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 贝尔科娃,玛尔塔

费利克斯·布

21出版物(2003–2017)编入索引的
195条引文
合著者: 戈多,Lluís;弗朗西斯科·埃斯特瓦;Font,Josep Maria…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 费利克斯·布;费利克斯鲍;Bou,F。

约瑟夫·布杜

17出版物(2013年至2022年)编入索引的
27引文
合著者: 菲利普·巴尔比亚尼;马丁·迪盖兹;弗南德斯·杜克,大卫…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 约瑟夫·布杜

简·比季奥夫斯克

5出版物(2020–2022)编入索引的
1引文
合著者: 阿奎莱拉,胡安·巴勃罗;大卫·费尔南德斯·杜克;巴兹、马提亚斯…
主要字段: 数学逻辑与基础(03-XX)
发布日期: Bydzovsky,简;简·比季奥夫斯克;比季奥夫斯克,J。

阿德安·卡贝洛

44出版物(1995–2021)编入索引的
197引文
合著者: 加西亚·阿尔卡因,吉勒莫;拉尔森,扬-奥克;JoséM.Estebaranz…
主要字段: 量子理论(81-XX);计算机科学(68-XX)
发布日期: 阿德安·卡贝洛

安德烈斯·科多恩·佛朗哥

25出版物(2004–2024)编入索引的
67引文
合著者: 拉拉·马汀(Lara-Martín),弗朗西斯科·费利克斯(Francisco Felix);亚历杭德罗·费尔南德斯·马加里特(Alejandro Fernández Margarit);弗南德斯·杜克,大卫…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 安德烈斯·科多恩·佛朗哥;科尔多恩·佛朗哥,A。;安德烈斯·科多恩·佛朗哥;安德烈斯·科多恩·佛朗哥

迪克·乔恩。

54出版物(1966–2021)编入索引的
361引文
合著者: Nick Bezhanishvili;佛朗哥·蒙塔格纳;希穆罕默德·马利基(Shirmohammadzadeh Maleki),法特梅(Fatemeh)…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 迪克·德·乔恩;德容,D.H.J。;迪克·乔恩。;迪克·德容

De Mol,利斯贝斯

17出版物(2005–2021)编入索引的
28引文
合著者: Maarten Bullynck;马丁·卡尔;弗南德斯·杜克,大卫…
主要字段: 计算机科学(68-XX);数学逻辑与基础(03-XX);历史与传记(01-XX)
发布日期: 利斯贝斯·德·莫尔

马丁·迪盖兹

26出版物(2012–2023)编入索引的
60条引文
合著者: 佩德罗·卡巴拉尔;大卫·费尔南德斯·杜克;约瑟夫·布杜(Joseph Boudou)…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 马丁·迪格斯;马丁·迪盖兹

奥利奥拉·吉塔吉

1出版物(2023)编入索引的
合著者: Fernández Duque,David;安德烈亚斯·魏尔曼
主要字段: 计算机科学(68-XX)
发布日期: 奥利奥拉·吉塔吉

瓦伦丁·F·戈兰科。

104出版物(1985–2023)编入索引的
796引文
合著者: 安吉洛·蒙塔纳里(Angelo Montanari);Sciavicco,Guido;瓦卡列洛夫,迪米特…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
发布日期: 瓦伦丁·戈兰科;V.戈兰科。;瓦伦丁·F·戈兰科。;V.F.戈兰科。

埃文·戈利斯

13出版物(2005–2022)编入索引的
33引文
合著者: Joost J.Joosten。;贝尔科娃,马尔塔;米凯克、卢卡…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 埃文·戈利斯

Gougeon,昆廷

3出版物(2022–2024)编入索引的
合著者: Fernández Duque,David;菲利普·巴尔比亚尼
主要字段: 数学逻辑与基础(03-XX)
发布日期: Gougeon,昆廷

托马斯·哈科尼米

2出版物(2016–2019)编入索引的
7引文
合著者: 阿尔伯特·阿塞里亚斯;Joost J.乔斯特恩。
主要字段: 数学逻辑与基础(03-XX)
发布日期: 托马斯·哈科尼米

爱德华多·赫莫·雷耶斯

5出版物(2018–2022)编入索引的
7引文
合著者: Fernández Duque,David;Joost J.乔斯特恩。
主要字段: 数学逻辑与基础(03-XX)
发布日期: 埃莫·雷耶斯,爱德华多;爱德华多·赫莫·雷耶斯

安德烈亚斯·赫齐格

129出版物(1988年-2023年)编入索引的
612引文
合著者: 埃米利亚诺·洛里尼;路易斯·法利尼亚斯·德尔·塞罗;尼古拉斯·特罗夸德(Nicolas Troquard)…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 安德烈亚斯·赫齐格;A.Herzig。

托马斯·伊卡德(Thomas F.III)

25出版物(2010–2024)编入索引的
81引文
合著者: 霍利迪,韦斯利H。;哈里森·特雷纳,马修;厚熙(Tomohiro Hoshi)…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
发布日期: 托马斯·伊卡德(Thomas F.III);托马斯·伊卡德;托马斯·伊卡德。

罗莎莉,伊姆霍夫

55出版物(2001–2023)编入索引的
341引文
合著者: 马提亚斯·巴兹;贾拉利、拉赫勒;乔治·梅特卡夫…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 罗莎莉,伊姆霍夫

皮塔·伊利耶夫

10出版物(2008–2023)编入索引的
19引文
合著者: 范德霍克,威比;菲利普·巴尔比亚尼;弗南德斯·杜克,大卫…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 皮塔·伊利耶夫;伊利耶夫·P·。

沃伊特克·贾姆罗加

4出版物(2010–2014)编入索引的
2引文
合著者: 斗牛,尼尔斯;Dix,Jurgen;弗南德斯·杜克,大卫…
主要字段: 计算机科学(68-XX)
发布日期: 沃伊特克·贾姆罗加

菲利普·克莱默

29出版物(1989–2022)编入索引的
151引文
合著者: 兰斯,马克·诺里斯;约瑟夫·布杜(Joseph Boudou);迪盖兹,马汀…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 菲利普·克莱默

埃斯特班·兰德雷切

2出版物(2017–2020)编入索引的
9引文
合著者: Fernández Duque,David;克里斯蒂安·沙夫纳(Christian Schaffner);马克·史蒂文斯
主要字段: 信息与通信理论,电路(94-XX);博弈论、经济学、金融学以及其他社会和行为科学(91-XX);计算机科学(68-XX)
发布日期: 埃斯特班兰德雷切

拉拉·马汀(Lara-Martín),弗朗西斯科·费利克斯(Francisco Felix)

19出版物(2001–2024)编入索引的
33引文
合著者: 安德雷斯·科登·弗朗哥;亚历杭德罗·费尔南德斯·马加里特(Alejandro Fernández Margarit);佐菲亚·阿达莫维奇…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 拉拉·马丁·费利克斯;拉拉·马汀,F.F。;拉拉·马汀(Lara-Martín),弗朗西斯科·费利克斯(Francisco Felix);拉拉·马汀,弗朗西斯科·费利克斯;费利克斯·劳拉·马丁

埃米利亚诺·洛里尼

75出版物(2006年-2023年)编入索引的
207引文
合著者: 安德烈亚斯·赫齐格(Andreas Herzig);弗朗索瓦州施瓦岑特鲁伯;蒂亚戈,利马…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 埃米利亚诺·洛里尼

弗罗林·马内亚

146出版物(2005–2023)编入索引的
557条引文
合著者: 德克·诺沃特卡;维克托·米特拉纳;罗伯特·乔治·梅尔卡什…
主要字段: 计算机科学(68-XX)
发布日期: 弗罗林·马内亚;马内亚,F。

布雷特·麦克林

13出版物(2016–2023)编入索引的
17引文
合著者: 罗宾·赫希(Robin Hirsch);塞利亚·博利多;阿奎莱拉、胡安·巴勃罗…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)。。。
发布日期: 布雷特·麦克莱恩

卢卡·米凯克

9出版物(2017–2023)编入索引的
7引文
合著者: 姆拉丹·武科维奇;乔斯滕,乔斯特·J。;丁·佩尔科夫(Tin Perkov)…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 卢卡·米凯克

Montacute,Yoáv

7出版物(2021–2023)编入索引的
合著者: Fernández Duque,David;尼希尔·沙阿;萨姆森·艾布拉姆斯基
主要字段: 数学逻辑与基础(03-XX)
发布日期: Montacute,Yoáv

Nepomuceno Fernández,安吉尔

36出版物(1993年至2021年)编入索引的
25条引文
合著者: 费尔南多·索勒·托斯卡诺;Aliseda-Llera,阿托查;弗南德斯·杜克,大卫…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 安格尔,内波穆塞诺·费尔南德斯;费尔南德斯,天使内波穆塞诺;阿尔天使内波穆塞诺·费尔南德斯;安杰尔·内波穆塞诺;安杰尔·费尔南德斯;安杰尔·内波穆塞诺·费尔南德斯;天使费尔南德斯

曼努埃尔·奥杰达·阿切戈

105出版物(1997年-2023年)编入索引的
647引文
合著者: 麦地那,杰苏斯;卡布雷拉,英马·P·。;科德罗,巴勃罗…
主要字段: 计算机科学(68-XX);数学逻辑与基础(03-XX)
发布日期: 曼努埃尔·奥杰达·阿切戈;Ojeda-Aciego,M。;曼纽尔·奥杰达·阿西戈;Ojeda Aciego,M。

埃里克·帕奎特

49出版物(2004–2022)编入索引的
422引文
合著者: van Benthem,Johan F.A.K。;罗希特·帕里赫(Rohit Parikh);卫斯理·H·霍利迪…
主要字段: 数学逻辑与基础(03-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
发布日期: 埃里克·帕奎特;E.帕奎特。

费多尔·帕霍莫夫。

32出版物(2012年至2024年)编入索引的
45引文
合著者: 阿奎莱拉,胡安·巴勃罗;安东·弗伦德(Anton Freund);维瑟,阿尔伯特…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 费多尔·帕霍莫夫;费多尔·帕霍莫夫。;帕霍莫夫,F.N。;帕霍莫夫,F。

亚历山德拉·帕尔米吉亚诺

84出版物(2000–2024)编入索引的
565引文
合著者: 朱塞佩·格雷科;威廉·康雷迪(Willem Conradie);西莫利斯,阿波斯托洛斯…
主要字段: 数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)
发布日期: 亚历山德拉·帕尔米吉亚诺;帕尔米吉亚诺,A。

康斯坦丁诺斯·帕帕菲利波

3出版物(2022–2024)编入索引的
合著者: Fernández Duque,David;Joost J.Joosten。;Mojtahedi、Mojtaba…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 康斯坦蒂诺斯·帕帕菲利波

康斯特纳蒂诺斯州帕帕菲利波

1出版物(2022年)编入索引的
合著者: Fernández Duque,David;Joost J.乔斯特恩。
主要字段: 数学逻辑与基础(03-XX)
发布日期: 康斯特纳蒂诺斯州帕帕菲利波

苏菲·平奇纳特

46出版物(1990–2022)编入索引的
131篇引文
合著者: 劳拉·博泽利;巴斯蒂恩·莫伯特(Bastien Maubert);Legay,Axel…
主要字段: 计算机科学(68-XX);数学逻辑与基础(03-XX)
发布日期: 苏菲·平奇纳特;Pinchinat,S.公司。

尼卡·波纳

1出版物(2019)编入索引的
合著者: Joost J.乔斯特恩。
主要字段:
发布日期:

法比安·罗梅罗

3出版物(2015–2020)编入索引的
3引文
合著者: 约瑟夫·布杜(Joseph Boudou);马蒂亚斯·库杜里埃;迪盖兹,马汀…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 法比安·罗梅罗

扬·马斯·罗维拉

1出版物(2020)编入索引的
合著者: Joost J.Joosten。;米凯克,卢卡;姆拉丹·武科维奇
主要字段: 数学逻辑与基础(03-XX)
发布日期:

弗朗西斯科·萨格罗·拉米拉尔。

6出版物(1994年至2021年)编入索引的
1引文
合著者: 阿尔恩格尔Nepomuceno-Fernández;克里斯蒂娜·巴雷斯·戈梅斯;弗南德斯·杜克,大卫…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
发布日期: 弗朗西斯科·萨格罗·拉米拉尔。;萨尔古罗·拉米拉,弗朗西斯科·J。;Salguero Lamillar,F.J。

Sarrión-Morrillo,恩里克

1出版物(2015)编入索引的
2引文
合著者: Fernández Duque,David;阿尔恩格尔Nepomuceno-Fernández;费尔南多·索勒·托斯卡诺…
主要字段: 数学逻辑与基础(03-XX)
发布日期: Enrique Sarrión-Morrillo

保罗·沙弗

25出版物(2011–2024)编入索引的
88引文
合著者: 弗朗索瓦·吉尔伯特(François Gilbert);杰弗里·林恩·赫斯特;Laurent Bienvenu…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX)
发布日期: 保罗·沙弗

费尔南多·索勒·托斯卡诺

28出版物(2006年至2022年)编入索引的
67引文
合著者: 阿尔恩格尔Nepomuceno-Fernández;费尔南多·雷蒙多(Fernando Raymundo),贝拉兹奎兹·奎萨达(Velázquez-Quesada);弗南德斯·杜克,大卫…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
发布日期: 费尔南多·索勒·托斯卡诺;费尔南多·索勒·托斯卡诺;F.索勒·托斯卡诺。;F.索勒·托斯卡诺。

毗湿那维Sundararajan

11出版物(1971–2021)编入索引的
5引文
合著者: 达斯,Y.C。;辛格,P.N.P。;苏雷什,S.P…
主要字段: 可变形固体力学(74-XX);计算机科学(68-XX);数学逻辑与基础(03-XX)
发布日期: 圣达拉扬,V。;毗湿那维Sundararajan

S.P.苏雷什。

54出版物(1984–2021)编入索引的
21引文
合著者: Omkar,S.N。;Narasimhan Sundararajan;阿卜杜拉·杜加利…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
发布日期: S.P.苏雷什。

van Benthem,Johan F.A.K。

243出版物(1973–2024)编入索引的
3011引文
合著者: 埃里克·帕奎特(Eric Pacuit);Nick Bezhanishvili;刘芬荣…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 约翰·范·本特姆;范·本特姆,J.F.A.K。;范本瑟姆,J.F.A.K。;范·本特姆(J.van Benthem)。;约翰·范·本特姆;约翰·范·本特姆

范德霍克,威比

174出版物(1989–2023)编入索引的
1313引文
合著者: 约翰·朱尔斯·查尔斯·梅耶(John Jules Charles Meyer);Michael J.Wooldridge。;van Ditmarsch,Hans Pieter…
主要字段: 计算机科学(68-XX)
发布日期: 范德霍克,威比;范德霍克,W。;范德霍克,威比

汉斯·皮特·范·迪特马什

153出版物(2002–2023)编入索引的
1320条引文
合著者: 范德霍克,威比;Barteld Pieter Kooi;法语,Tim…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
发布日期: 汉斯·范·迪特马什;van Ditmarsch,H.P。;van Ditmarsch,Hans P。;汉斯·范·迪特马什;van Ditmarsch,H。;汉斯·皮特·范·迪特马什

van Eijck,简

57出版物(1985–2022)编入索引的
308引文
合著者: Sietsma,地板;弗朗索瓦州施瓦岑特鲁伯;van Benthem,Johan F.A.K…
主要字段: 数学逻辑与基础(03-XX)
发布日期: van Eijck,简

费尔南多·雷蒙多(Fernando Raymundo)

51出版物(2009–2024)编入索引的
128条引文
合著者: Smets,Sonja J.L。;费尔南多·索勒·托斯卡诺;Ghosh,Sujata…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。;费尔南多·雷蒙多(Fernando Raymundo);费尔南多·奎萨达(Fernando R.Velazquez-Quesada)。

马可·罗伯特·弗沃特

6出版物(1996–2005)编入索引的
26引文
合著者: 彼得·艾德里安斯(Pieter W.Adriaans)。;列夫·贝克莱米舍夫(Lev D.Beklemishev)。;Joosten,Joost J…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
发布日期: 马尔科·弗沃特;马尔科·罗伯特

阿尔伯特·维瑟

99出版物(1980–2024)编入索引的
742引文
合著者: 迪克·乔恩。;列夫·贝克莱米舍夫(Lev D.Beklemishev)。;沃尔克·哈尔巴赫…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 阿尔伯特·维瑟;维瑟,A。

姆拉丹·武科维奇

23出版物(1996–2023)编入索引的
30条引文
合著者: 丁·佩尔科夫(Tin Perkov);米凯克,卢卡;恰契奇,维德兰…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 姆拉丹·武科维奇

斯坦利·斯科特·韦纳

57出版物(1970–2021)编入索引的
275篇引文
合著者: 勒布,M.H。;奥斯特林(Geoffrey E.Ostrin)。;赫尔穆特·施维赫滕贝格(Helmut Schwichtenberg)…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 韦纳,S.S。;斯坦利·韦纳。;斯坦利·韦纳;斯坦·韦纳(Stan S.Wainer)。;斯坦·韦纳;斯坦利·斯科特·韦纳

安德烈亚斯·魏尔曼

100种出版物(1990–2024)编入索引的
443引文
合著者: Michael Rathjen;Fernández Duque,David;米歇尔·德·斯梅特(Michiel De Smet)…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
发布日期: 安德烈亚斯·魏尔曼;A.魏尔曼。

Keita横山

43出版物(2007年至2024年)编入索引的
133引文
合著者: Kołodziejczyk,Leszek Aleksander;斯蒂芬·G·辛普森。;西尔维娅·斯特拉…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX)
发布日期: 横山,Keita

赫克托·泽尼尔

36出版物(2007–2023)编入索引的
63引文
合著者: Jean-Paul,Delahaye;尼古拉斯·高夫里特(Nicolas Gauvrit);费尔南多·索勒·托斯卡诺…
主要字段: 计算机科学(68-XX);总体主题;藏品(00-XX);动力系统和遍历理论(37-XX)。。。
发布日期: 赫克托·泽尼尔;赫克托·泽尼尔

筛选结果依据…