Fabio Alessi

Publication Activity (10 Years)

Years Active: 1991-2019
Publications (10 Years): 3

Top Topics

Logical Framework

Top Venues

Fundam. Informaticae

J. Formaliz. Reason.

Publications