Lauri Hella

Research output

Research output per year 1989 1992 1994 1995 1996 1997 1998 1999 2000 2003 2006 2008 2013 2014 2015 2016 2017 2019 2022 2023 2024 2025

• 35 Article
• 27 Conference contribution
• 3 Chapter

Research output per year

Research output per year

Search results

• 2015

  The size of a formula as a measure of complexity

  Hella, L. & Väänänen, J., 2015, Logic without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Hirvonen, Å. (ed.). Berlin: Walter De Gruyter, p. 193-214 (Ontos Mathematical Logic; no. 5).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
• 1995

  Finite generation problem and n-ary quantifiers

  Hella, L. & Luosto, K., 1995, Quantifiers: Logics, Models and Computation, Vol. I. Krynicki, M., Mostowski, M. & Szczerba, L. (eds.). p. 63-104

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review

• Partially ordered connectives and finite graphs

  Hella, L. & Sandu, G., 1995, Quantifiers: Logics, Models and Computation, Vol. II. Krynicki, M., Mostowski, M. & Szczerba, L. (eds.). p. 79-88

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review