Åsa Hirvonen
发表
Jouko Väänänen,
Ruy J. G. B. de Queiroz,
Åsa Hirvonen,
2016
.
Tapani Hyttinen,
Åsa Hirvonen,
2009,
Arch. Math. Log..
Tapani Hyttinen,
Åsa Hirvonen,
2017,
J. Symb. Log..
Juha Kontinen,
Andrés Villaveces,
Roman Kossak,
2015,
Logic Without Borders.
Tapani Hyttinen,
Åsa Hirvonen,
Åsa Hirvonen,
2014,
Ann. Pure Appl. Log..
Jonni Virtema,
Miika Hannula,
Juha Kontinen,
2019,
JELIA.
Åsa Hirvonen,
Ruy de Queiroz,
A. Macintyre,
2016,
Lecture Notes in Computer Science.
Sonja Smets,
Jouko Väänänen,
Åsa Hirvonen,
2016
.
Åsa Hirvonen,
2016,
Dependence Logic.
Arno Pauly,
Juha Kontinen,
Åsa Hirvonen,
2019,
TAMC.
Juha Kontinen,
Andrés Villaveces,
Roman Kossak,
2015,
Logic Without Borders.
Dag Westerståhl,
Jouko A. Väänänen,
Åsa Hirvonen,
2018,
Ann. Pure Appl. Log..