Lauri Hella
发表
Johannes Ebbing,
Lauri Hella,
Arne Meier,
2013,
WoLLIC.
Lauri Hella,
Pietro Galliani,
2013,
CSL.
Lauri Hella,
José Maria Turull Torres,
2006,
CSL.
Lauri Hella,
Miika Hannula,
2019,
WoLLIC.
Lauri Hella,
Limsoon Wong,
Leonid Libkin,
2001,
JACM.
Lauri Hella,
Phokion G. Kolaitis,
Kerkko Luosto,
1997,
Ann. Pure Appl. Log..
Lauri Hella,
Johanna Stumpf,
L. Hella,
2015,
GandALF.
Lauri Hella,
Juha Nurmonen,
Juha Nurmonen,
2000,
Arch. Math. Log..
Johannes Ebbing,
Lauri Hella,
Jonni Virtema,
2013,
WoLLIC.
Lauri Hella,
Antti Kuusisto,
L. Hella,
2010,
M4M.
Lauri Hella,
Anuj Dawar,
Anil Seth,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Lauri Hella,
Arne Meier,
Heribert Vollmer,
2015,
MFCS.
Josef van Genabith,
Giorgio Satta,
Tero Harju,
2005,
Lecture Notes in Computer Science.
Lauri Hella,
Limsoon Wong,
Leonid Libkin,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Lauri Hella,
Antti Kuusisto,
L. Hella,
2016,
Inf. Comput..
Lauri Hella,
Phokion G. Kolaitis,
L. Hella,
2016,
CSL.
Lauri Hella,
Phokion G. Kolaitis,
Kerkko Luosto,
1996,
Bulletin of Symbolic Logic.
Lauri Hella,
Antti Kuusisto,
2014,
Advances in Modal Logic.
Lauri Hella,
Michal Krynicki,
1991,
Math. Log. Q..
Lauri Hella,
Martin Grohe,
1996,
Arch. Math. Log..
Lauri Hella,
Kjell Lemström,
Kjell Lemström,
2003,
Theor. Comput. Sci..
Lauri Hella,
Merlijn Sevenster,
Tero Tulenheimo,
2008,
J. Log. Lang. Inf..
Johannes Ebbing,
Lauri Hella,
Jonni Virtema,
2013,
WoLLIC.
Lauri Hella,
2003,
Electron. Notes Theor. Comput. Sci..
Lauri Hella,
Kerkko Luosto,
Jouko A. Väänänen,
1996,
Journal of Symbolic Logic.
Lauri Hella,
Dag Westerståhl,
Jouko A. Väänänen,
1997,
J. Log. Lang. Inf..
Lauri Hella,
Leonid Libkin,
Juha Nurmonen,
1999,
J. Symb. Log..
Lauri Hella,
Jonni Virtema,
Kerkko Luosto,
2012,
PODC '12.
Lauri Hella,
Arne Meier,
Heribert Vollmer,
2019,
ACM Trans. Comput. Log..
Lauri Hella,
Antti Kuusisto,
Raine Rönnholm,
2020,
GandALF.
Lauri Hella,
L. Hella,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Lauri Hella,
Kjell Lemström,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Lauri Hella,
Jonni Virtema,
Katsuhiko Sano,
2014,
Advances in Modal Logic.
Lauri Hella,
Anuj Dawar,
1995,
Inf. Comput..
Lauri Hella,
Phokion G. Kolaitis,
Anuj Dawar,
1995,
ICALP.
Lauri Hella,
Anuj Dawar,
A. Dawar,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Lauri Hella,
Raine Rönnholm,
Fausto Barbero,
2017,
WoLLIC.
Lauri Hella,
Kerkko Luosto,
1992,
J. Symb. Log..
Lauri Hella,
Jouko A. Väänänen,
2015,
Logic Without Borders.
Lauri Hella,
Phokion G. Kolaitis,
Kerkko Luosto,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel,
Andrei Broder,
Radha Jagadeesan,
2005,
LICS.
Lauri Hella,
Tero Tulenheimo,
2013,
J. Log. Comput..
Lauri Hella,
Arne Meier,
Jonni Virtema,
2016,
MFCS.
Georg Gottlob,
Lauri Hella,
Anuj Dawar,
1998,
Math. Log. Q..
Lauri Hella,
José Maria Turull Torres,
2003,
Electron. Notes Theor. Comput. Sci..
Lauri Hella,
José Maria Turull Torres,
L. Hella,
2006,
Theor. Comput. Sci..
Lauri Hella,
L. Hella,
1989,
Ann. Pure Appl. Log..
Lauri Hella,
Miikka Vilander,
L. Hella,
2019,
J. Log. Comput..
Lauri Hella,
Henrik Imhof,
H. Imhof,
1998,
J. Log. Comput..
Lauri Hella,
Miguel Couceiro,
Jari Kivelä,
2007,
Log. J. IGPL.
Lauri Hella,
1996,
Inf. Comput..
Lauri Hella,
Miikka Vilander,
2016,
Advances in Modal Logic.
Lauri Hella,
Arne Meier,
Jonni Virtema,
2017,
MFCS.
Lauri Hella,
Raine Rönnholm,
Fausto Barbero,
2021,
Arch. Math. Log..
Lauri Hella,
Miika Hannula,
2021
.
Lauri Hella,
Antti Valmari,
2021,
ArXiv.
Lauri Hella,
Kerkko Luosto,
1995
.
Lauri Hella,
Gabriel Sandu,
G. Sandu,
1995
.
Lauri Hella,
Antti Kuusisto,
L. Hella,
2010
.
Lauri Hella,
Arne Meier,
Heribert Vollmer,
2015
.
Lauri Hella,
L. Hella,
1999
.