Author of the publication

Definability and Interpolation within Decidable Fixpoint Logics.

, , and . Logical Methods in Computer Science, (2019)

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

Definability and Interpolation within Decidable Fixpoint Logics., , and . Logical Methods in Computer Science, (2019)Inference from Visible Information and Background Knowledge., , , , and . ACM Trans. Comput. Log., 22 (2): 13:1-13:69 (2021)Interpolation with Decidable Fixpoint Logics., , and . LICS, page 378-389. IEEE Computer Society, (2015)Effective Interpolation and Preservation in Guarded Logics., , and . ACM Trans. Comput. Log., 17 (2): 8 (2016)Quasi-Weak Cost Automata: A New Variant of Weakness., and . FSTTCS, volume 13 of LIPIcs, page 66-77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Query Answering with Transitive and Linear-Ordered Data., , , and . J. Artif. Intell. Res., (2018)The Complexity of Boundedness for Guarded Logics., , , and . LICS, page 293-304. IEEE Computer Society, (2015)Deciding the weak definability of Büchi definable tree languages., , , and . CSL, volume 23 of LIPIcs, page 215-230. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Effective interpolation and preservation in guarded logics., , and . CSL-LICS, page 13:1-13:10. ACM, (2014)Turing computable embeddings., , and . J. Symb. Log., 72 (3): 901-918 (2007)