Furio Honsell

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 20

Top Topics

Reasoning Tasks

Higher Order Logic

Epistemic Logic

Top Venues

Fundam. Informaticae

Publications