( en | de | ru )

 

Disambiguation of "Hella, Lauri"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking and Validity in Propositional and Modal Inclusion Logics.

, , , and . MFCS, volume 83 of LIPIcs, page 32:1-32:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bryan Hellack

Bryan Hellack

Lauri Sarparanta

Andrea Lauri

Jaan Hellat

 

Other publications of authors with the same name

Complexity Thresholds in Inclusion Logic., and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 301-322. Springer, (2019)Implicit Definability and Infinitary Logic in Finite Model Theory., , and . ICALP, volume 944 of Lecture Notes in Computer Science, page 624-635. Springer, (1995)Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics., , , and . ACM Trans. Comput. Log., 21 (1): 7:1-7:18 (2020)Ordering Finite Variable Types with Generalized Quantifiers., , and . LICS, page 28-43. IEEE Computer Society, (1998)The Expressive Power of CSP-Quantifiers.. CSL, volume 252 of LIPIcs, page 25:1-25:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Independence-Friendly Logic Without Henkin Quantification., , and . WoLLIC, volume 10388 of Lecture Notes in Computer Science, page 14-30. Springer, (2017)Boolean dependence logic and partially-ordered connectives., , , and . J. Comput. Syst. Sci., (2017)Defining Long Words Succinctly in FO and MSO., and . CiE, volume 13359 of Lecture Notes in Computer Science, page 125-138. Springer, (2022)The Expressive Power of Finitely Many Generalized Quantifiers, and . LICS, page 20-29. IEEE Computer Society, (1994)One-dimensional Fragment of First-order Logic., and . Advances in Modal Logic, page 274-293. College Publications, (2014)