Luosto, Kerkko

1. The Expressive Power of Modal Dependence Logic
   2014/06/24 by Lauri Hella, Hella, Lauri, Kerkko Luosto +5 · 2 citations
   Computer Science · Mathematics · #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO #math.LO
2. Dimension in team semantics
   2023/04/06 by Lauri Hella, Kerkko Luosto, Hella, Lauri +3 · 3 citations
   Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #semigroups and automata theory
3. Regular Representations of Uniform TC⁰
   2023/09/13 by Hella, Lauri, Kontinen, Juha, Luosto, Kerkko · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)