Author of the publication

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.

 

Other publications of authors with the same name

Complexity of validity for propositional dependence logics.. GandALF, volume 161 of EPTCS, page 18-31. (2014)Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity., , , , and . CoRR, (2020)Computing Repairs Under Functional and Inclusion Dependencies via Argumentation., , , and . CoRR, (2023)Polyteam Semantics., , and . CoRR, (2017)Descriptive complexity of real computation and probabilistic independence logic., , , and . LICS, page 550-563. ACM, (2020)On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic., , , and . CSL, volume 183 of LIPIcs, page 27:1-27:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Logics with Probabilistic Team Semantics and the Boolean Negation., , , , , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 665-680. Springer, (2023)A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL., , and . FoIKS, volume 14589 of Lecture Notes in Computer Science, page 275-286. Springer, (2024)On Quantified Propositional Logics and the Exponential Time Hierarchy., , , and . GandALF, volume 226 of EPTCS, page 198-212. (2016)Descriptive Complexity of Deterministic Polylogarithmic Time., , , , and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 208-222. Springer, (2019)