Statistics
Publications
45
Citations
1.8K
H-Index
18
Active since
1998
Luca Viganò is an author at University of Verona specializing in computer science, computing, and formal methods.
Publications per year
1998–2025
45
45
Natural Deduction for Non-Classical Logics
David Basin, Seán Matthews, Luca Viganò · Studia Logica · 1998 · 41 citations
1–5 of 45