Concepedia
Statistics
Publications
3
Citations
68
H-Index
Active since
2010
Affiliations
TU Wien(Current)
Federico Aschieri is an author at TU Wien specializing in logic, computer science, and computing.
Publications per year
2010–2017
Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
Federico Aschieri, Stefano Berardi · Logical Methods in Computer Science · 2010 · 42 citations · Full text
Computing, Computer Science, Mathematics +14
On natural deduction in classical first-order logic: Curry–Howard correspondence, strong normalization and Herbrand's theorem
Federico Aschieri, Margherita Zorzi · Theoretical Computer Science · 2016 · 16 citations
Humanities, Mathematics, Philosophy +12
Gödel logic: from natural deduction to parallel computation
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco · Logic in Computer Science · 2017 · 10 citations
Computing, Computer Science, Logic +14
1–3 of 3