Published in: LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
Anuj Dawar and Lauri Hella. Quantifiers Closed Under Partial Polymorphisms. In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 288, pp. 23:1-23:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{dawar_et_al:LIPIcs.CSL.2024.23, author = {Dawar, Anuj and Hella, Lauri}, title = {{Quantifiers Closed Under Partial Polymorphisms}}, booktitle = {32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)}, pages = {23:1--23:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-310-2}, ISSN = {1868-8969}, year = {2024}, volume = {288}, editor = {Murano, Aniello and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.23}, URN = {urn:nbn:de:0030-drops-196662}, doi = {10.4230/LIPIcs.CSL.2024.23}, annote = {Keywords: generalized quantifiers, constraint satisfaction problems, pebble games, finite variable logics, descriptive complexity theory} }
Published in: LIPIcs, Volume 272, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
Veeti Ahvonen, Damian Heiman, Lauri Hella, and Antti Kuusisto. Descriptive Complexity for Distributed Computing with Circuits. In 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 272, pp. 9:1-9:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{ahvonen_et_al:LIPIcs.MFCS.2023.9, author = {Ahvonen, Veeti and Heiman, Damian and Hella, Lauri and Kuusisto, Antti}, title = {{Descriptive Complexity for Distributed Computing with Circuits}}, booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)}, pages = {9:1--9:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-292-1}, ISSN = {1868-8969}, year = {2023}, volume = {272}, editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.9}, URN = {urn:nbn:de:0030-drops-185433}, doi = {10.4230/LIPIcs.MFCS.2023.9}, annote = {Keywords: Descriptive complexity, distributed computing, logic, graph coloring} }
Published in: LIPIcs, Volume 252, 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
Lauri Hella. The Expressive Power of CSP-Quantifiers. In 31st EACSL Annual Conference on Computer Science Logic (CSL 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 252, pp. 25:1-25:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{hella:LIPIcs.CSL.2023.25, author = {Hella, Lauri}, title = {{The Expressive Power of CSP-Quantifiers}}, booktitle = {31st EACSL Annual Conference on Computer Science Logic (CSL 2023)}, pages = {25:1--25:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-264-8}, ISSN = {1868-8969}, year = {2023}, volume = {252}, editor = {Klin, Bartek and Pimentel, Elaine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2023.25}, URN = {urn:nbn:de:0030-drops-174867}, doi = {10.4230/LIPIcs.CSL.2023.25}, annote = {Keywords: generalized quantifiers, constraint satisfaction problems, pebble games, finite variable logics, descriptive complexity theory} }
Published in: LIPIcs, Volume 83, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)
Lauri Hella, Antti Kuusisto, Arne Meier, and Jonni Virtema. Model Checking and Validity in Propositional and Modal Inclusion Logics. In 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 83, pp. 32:1-32:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{hella_et_al:LIPIcs.MFCS.2017.32, author = {Hella, Lauri and Kuusisto, Antti and Meier, Arne and Virtema, Jonni}, title = {{Model Checking and Validity in Propositional and Modal Inclusion Logics}}, booktitle = {42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)}, pages = {32:1--32:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-046-0}, ISSN = {1868-8969}, year = {2017}, volume = {83}, editor = {Larsen, Kim G. and Bodlaender, Hans L. and Raskin, Jean-Francois}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2017.32}, URN = {urn:nbn:de:0030-drops-81007}, doi = {10.4230/LIPIcs.MFCS.2017.32}, annote = {Keywords: Inclusion Logic, Model Checking, Complexity} }
Published in: LIPIcs, Volume 62, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
Lauri Hella and Phokion G. Kolaitis. Dependence Logic vs. Constraint Satisfaction. In 25th EACSL Annual Conference on Computer Science Logic (CSL 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 62, pp. 14:1-14:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{hella_et_al:LIPIcs.CSL.2016.14, author = {Hella, Lauri and Kolaitis, Phokion G.}, title = {{Dependence Logic vs. Constraint Satisfaction}}, booktitle = {25th EACSL Annual Conference on Computer Science Logic (CSL 2016)}, pages = {14:1--14:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-022-4}, ISSN = {1868-8969}, year = {2016}, volume = {62}, editor = {Talbot, Jean-Marc and Regnier, Laurent}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.14}, URN = {urn:nbn:de:0030-drops-65548}, doi = {10.4230/LIPIcs.CSL.2016.14}, annote = {Keywords: Dependence logic, constraint satisfaction, computational complexity, expressive power} }
Published in: LIPIcs, Volume 23, Computer Science Logic 2013 (CSL 2013)
Pietro Galliani and Lauri Hella. Inclusion Logic and Fixed Point Logic. In Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 23, pp. 281-295, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{galliani_et_al:LIPIcs.CSL.2013.281, author = {Galliani, Pietro and Hella, Lauri}, title = {{Inclusion Logic and Fixed Point Logic}}, booktitle = {Computer Science Logic 2013 (CSL 2013)}, pages = {281--295}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-60-6}, ISSN = {1868-8969}, year = {2013}, volume = {23}, editor = {Ronchi Della Rocca, Simona}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.281}, URN = {urn:nbn:de:0030-drops-42031}, doi = {10.4230/LIPIcs.CSL.2013.281}, annote = {Keywords: Dependence Logic, Team Semantics, Fixpoint Logic, Inclusion} }
Published in: LIPIcs, Volume 23, Computer Science Logic 2013 (CSL 2013)
Antti Kuusisto. Modal Logic and Distributed Message Passing Automata. In Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 23, pp. 452-468, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{kuusisto:LIPIcs.CSL.2013.452, author = {Kuusisto, Antti}, title = {{Modal Logic and Distributed Message Passing Automata}}, booktitle = {Computer Science Logic 2013 (CSL 2013)}, pages = {452--468}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-60-6}, ISSN = {1868-8969}, year = {2013}, volume = {23}, editor = {Ronchi Della Rocca, Simona}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.452}, URN = {urn:nbn:de:0030-drops-42132}, doi = {10.4230/LIPIcs.CSL.2013.452}, annote = {Keywords: Modal logic, message passing automata, descriptive characterizations, distributed computing} }
Feedback for Dagstuhl Publishing