Jonni Virtema
发表
Fausto Barbero,
Jonni Virtema,
2023,
JELIA.
Fausto Barbero,
Jonni Virtema,
2023,
CSL.
Jonni Virtema,
Miika Hannula,
Juha Kontinen,
2016,
GandALF.
Jonni Virtema,
Katsuhiko Sano,
J. Virtema,
2016,
WoLLIC.
Arne Meier,
Jonni Virtema,
Miika Hannula,
2015,
Annals of Mathematics and Artificial Intelligence.
J. Virtema,
Katsuhiko Sano,
Jonni Virtema,
2015,
Ann. Pure Appl. Log..
Jonni Virtema,
Juha Kontinen,
Antti Kuusisto,
2014,
MFCS.
Jonni Virtema,
Juha Kontinen,
Antti Kuusisto,
2014,
ArXiv.
Jonni Virtema,
Jonni Virtema,
2014,
Inf. Comput..
Lauri Hella,
Jonni Virtema,
Katsuhiko Sano,
2014,
Advances in Modal Logic.
Johannes Ebbing,
Lauri Hella,
Jonni Virtema,
2013,
WoLLIC.
Jonni Virtema,
Juha Kontinen,
Peter Lohmann,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Jonni Virtema,
Jonni Virtema,
2014
.
J. Kontinen,
A. Meier,
Miika Hannula,
2023,
JELIA.
Miika Hannula,
Jonni Virtema,
2020,
JELIA.
Jonni Virtema,
Jan Van den Bussche,
Flavio Ferrarotti,
2018,
CSL.