Lauri Hella

Identifiers

• name variant Lauri Hella 0.60 · backfill

Papers (10)

1. Complexity Thresholds in Inclusion Logic cs.LO · 2019 · author #2
2. Model Checking and Validity in Propositional and Modal Inclusion Logics cs.LO · 2016 · author #1
3. The Succinctness of First-order Logic over Modal Logic via a Formula Size Game math.LO · 2016 · author #1
4. Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics cs.LO · 2015 · author #1
5. Boolean Dependence Logic and Partially-Ordered Connectives math.LO · 2014 · author #2
6. The Expressive Power of Modal Dependence Logic cs.LO · 2014 · author #1
7. One-dimensional fragment of first-order logic math.LO · 2014 · author #1
8. Inclusion Logic and Fixed Point Logic cs.LO · 2013 · author #2
9. The size of a formula as a measure of complexity math.LO · 2012 · author #1
10. Weak Models of Distributed Computing, with Connections to Modal Logic cs.DC · 2012 · author #1

Mentions

• 1406.7132 #2 · backfill · confidence 0.70 Lauri Hella
• 1406.6266 #1 · backfill · confidence 0.70 Lauri Hella
• 1404.4004 #1 · backfill · confidence 0.70 Lauri Hella
• 1304.4267 #2 · backfill · confidence 0.70 Lauri Hella
• 1208.4803 #1 · backfill · confidence 0.70 Lauri Hella
• 1205.2051 #1 · backfill · confidence 0.70 Lauri Hella

Frequent Coauthors

• Antti Kuusisto 4 shared papers
• Jonni Virtema 4 shared papers
• Arne Meier 2 shared papers
• Kerkko Luosto 2 shared papers
• Heribert Vollmer 1 shared papers
• Johannes Ebbing 1 shared papers
• Jouko V\"a\"an\"anen 1 shared papers
• Juhana Laurinharju 1 shared papers
• Jukka Suomela 1 shared papers
• Katsuhiko Sano 1 shared papers
• Matti J\"arvisalo 1 shared papers
• Miika Hannula 1 shared papers
• Miikka Vilander 1 shared papers
• Peter Lohmann 1 shared papers
• Pietro Galliani 1 shared papers
• Tuomo Lempi\"ainen 1 shared papers