Eugenio Omodeo 个人学术档案

引用次数

	总计	2019 年至今
引用	1954	333
h 指数	23	10
i10 指数	49	10

200

100

150

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 1 13 38 18 22 38 5 36 32 49 49 27 41 29 37 42 54 64 49 45 88 37 42 28 80 46 84 45 79 44 29 190 62 27 41 97 26 59 83

开放获取的出版物数量

查看全部

19 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Domenico CantoneProfessor of Computer Science, University of Catania在 dmi.unict.it 的电子邮件经过验证
Alberto PolicritiUniversity of Udine在 uniud.it 的电子邮件经过验证
Alexandru I. TomescuDepartment of Computer Science, University of Helsinki在 helsinki.fi 的电子邮件经过验证
Alfredo FerroProfessor of Computer Science ,Catania University在 dmi.unict.it 的电子邮件经过验证
Agostino DovierProfessor of Computer Science, University of Udine在 uniud.it 的电子邮件经过验证
Enrico PontelliNew Mexico State University在 cs.nmsu.edu 的电子邮件经过验证
ROSSI GIANFRANCOProfessor of Computer Science, Univ. of Parma, Italy在 math.unipr.it 的电子邮件经过验证
Marco TemperiniSapienza Universita' di Roma在 diag.uniroma1.it 的电子邮件经过验证
Pietro MaugeriUniversità di Catania在 unict.it 的电子邮件经过验证
Pietro UrsinoUniversità di Catania在 unict.it 的电子邮件经过验证
Alberto CasagrandeUniversità di Trieste在 units.it 的电子邮件经过验证
Andrea De DomenicoVrije Universiteit Amsterdam在 vu.nl 的电子邮件经过验证
Marianna Nicolosi AsmundoAssistant Professor of Computer Science, Catania University在 aixia.it 的电子邮件经过验证
Mattia PanettierePhD Candidate在 vu.nl 的电子邮件经过验证
Ewa Orlowskanational institute of telecommunications在 itl.waw.pl 的电子邮件经过验证
Francesco FabrisTrieste University在 units.it 的电子邮件经过验证
Stefania CostantiniProfessor of Computer Science, University of L'Aquila, Italy在 univaq.it 的电子邮件经过验证
Rodica CeterchiProfessor of Computer Science, University of Bucharest, Faculty of Mathematics and CS在 fmi.unibuc.ro 的电子邮件经过验证
Marta SimeoniUniversità Ca' Foscari Venezia在 unive.it 的电子邮件经过验证
Pasquale CaianielloAssistant Professor在 univaq.it 的电子邮件经过验证

关注

Eugenio Omodeo

Università degli Studi di Trieste, formerly professor in Computer Science, today 'senior scholar'

在 units.it 的电子邮件经过验证

computational logic computable set theory


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Set theory for computing: from decision procedures to declarative programming with sets D Cantone, E Omodeo, A Policriti Springer Science & Business Media, 2013	189	2013
Computable set theory D Cantone, A Ferro, E Omodeo Clarendon Press, 1989	154	1989
{log}: A language for programming in logic with finite sets A Dovier, EG Omodeo, E Pontelli, G Rossi The Journal of logic programming 28 (1), 1-44, 1996	133	1996
Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensions A Ferro, EG Omodeo, JT Schwartz Communications on pure and Applied Mathematics 33 (5), 599-608, 1980	131	1980
{log}: A logic programming language with finite sets A Dovier, EG Omodeo, E Pontelli, G Rossi The MIT Press, 1991	83	1991
Computational logic and set theory: Applying formalized logic to analysis JT Schwartz, D Cantone, EG Omodeo Springer Science & Business Media, 2011	76	2011
Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions M Breban, A Ferro, EG Omodeo, JT Schwartz Communications on Pure and Applied Mathematics 34 (2), 177-195, 1981	53	1981
The automation of syllogistic: II. Optimization and complexity issues D Cantone, EG Omodeo, A Policriti Journal of Automated Reasoning 6, 173-187, 1990	52	1990
Decision procedures for some fragments of set theory A Ferro, EG Omodeo, JT Schwartz International Conference on Automated Deduction, 88-96, 1980	47	1980
A ‘Theory’mechanism for a proof-verifier based on first-order set theory EG Omodeo, JT Schwartz Computational Logic: Logic Programming and Beyond: Essays in Honour of …, 2002	40	2002
A computerized referee EG Omodeo, D Cantone, A Policriti, JT Schwartz Reasoning, Action and Interaction in AI Theories and Systems: Essays …, 2006	38	2006
Notes from the logbook of a proof-checker’s project D Cantone, EG Omodeo, JT Schwartz, P Ursino Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the …, 2003	35	2003
Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case EG Omodeo, A Policriti Communications on Pure and Applied Mathematics 48 (9), 1123-1155, 1995	34	1995
Embedding finite sets in a logic programming language A Dovier, EG Omodeo, E Pontelli, G Rossi Extensions of Logic Programming: Third International Workshop, ELP'92 …, 1993	34	1993
Decidability of∀*∀‐Sentences in Membership Theories EG Omodeo, F Parlamento, A Policriti Mathematical Logic Quarterly 42 (1), 41-58, 1996	29	1996
Set graphs. III. Proof Pearl: Claw-free graphs mirrored into transitive hereditarily finite sets EG Omodeo, AI Tomescu Journal of automated reasoning 52, 1-29, 2014	28	2014
Decision algorithms for some fragments of analysis and related areas D Cantone, A Ferro, E Omodeo, JT Schwartz Communications on Pure and Applied Mathematics 40 (3), 281-300, 1987	27	1987
An efficient validity test for formulae in extensional two-level syllogistic A Ferro, EG Omodeo Le Matematiche 33 (1), 130-137, 1978	26	1978
Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators D Cantone, P Ursino, EG Omodeo Information and Computation 172 (2), 165-201, 2002	25	2002
An equational re-engineering of set theories A Formisano, E Omodeo International Workshop on First-Order Theorem Proving, 175-190, 1998	25	1998

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用