Statistics
Publications
3
Citations
61
H-Index
3
Active since
1994
Affiliations
University of Udine(Current)
Anna Bucalo is an author at University of Udine specializing in formal methods, automated reasoning, and engineering.
Publications per year
1994–2006
3
3
Consistency of the theory of contexts
Anna Bucalo, Furio Honsell, Marino Miculan et al. · Journal of Functional Programming · 2006 · 35 citations · Full text
1–3 of 3