Luigi Liquori

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 18

Top Topics

Logical Framework

Higher Order Logic

Overlay Network

Development Environments

Top Venues

Math. Struct. Comput. Sci.

University of Pisa, Italy (PHD)

Education History

University of Pisa, Italy

PHD

Publications