Giuseppe Greco

Giuseppe Greco

Universiteit Utrecht

H-index: 15

Europe-Netherlands

About Giuseppe Greco

Giuseppe Greco, With an exceptional h-index of 15 and a recent h-index of 14 (since 2020), a distinguished researcher at Universiteit Utrecht, specializes in the field of proof theory, logic, artificial intelligence.

His recent articles reflect a diverse array of research interests and contributions to the field:

Algebraic proof theory for LE-logics

First order logic properly displayed

Semi De Morgan logic properly displayed

Giuseppe Greco Information

University

Position

___

Citations(all)

698

Citations(since 2020)

373

Cited By

575

hIndex(all)

15

hIndex(since 2020)

14

i10Index(all)

17

i10Index(since 2020)

16

Email

University Profile Page

Universiteit Utrecht

Google Scholar

View Google Scholar Profile

Giuseppe Greco Skills & Research Interests

proof theory

logic

artificial intelligence

Top articles of Giuseppe Greco

Title

Journal

Author(s)

Publication Date

Algebraic proof theory for LE-logics

ACM Transactions on Computational Logic

Giuseppe Greco

Peter Jipsen

Fei Liang

Alessandra Palmigiano

Apostolos Tzimoulis

2024/1/17

First order logic properly displayed

arXiv preprint arXiv:2105.06877

Samuel Balco

Giuseppe Greco

Alexander Kurz

Andrew Moshier

Alessandra Palmigiano

...

2021/5/14

Semi De Morgan logic properly displayed

Studia logica

Giuseppe Greco

Fei Liang

M Andrew Moshier

Alessandra Palmigiano

2021/2

See List of Professors in Giuseppe Greco University(Universiteit Utrecht)

Co-Authors

H-index: 29
Alessandra Palmigiano

Alessandra Palmigiano

Vrije Universiteit Amsterdam

H-index: 13
Fan Yang

Fan Yang

Helsingin yliopisto

H-index: 13
Minghui Ma

Minghui Ma

Sun Yat-Sen University

academic-engine