AP

Adolfo Piperno

Sapienza University of Rome

37

Publications

2,109

Citations

12

h-index

15

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (25)
Book Chapter (9)
Preprint (2)
Review (1)

Filter by Open Access Type

Open Access (10)
Closed Access (27)

Filter by Authors

Adolfo Piperno (37)
Ugo de’Liguoro (9)
Mariangiola Dezani-Ciancaglini (6)
Stefano Guerrini (4)
Corrado Böhm (4)

Filter by Topics

Logic, programming, and type systems (22)
Logic, Reasoning, and Knowledge (16)
Advanced Algebra and Logic (11)
Formal Methods in Verification (10)
semigroups and automata theory (6)