( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Effective Interpolation and Preservation in Guarded Logics.

, , и . ACM Trans. Comput. Log., 17 (2): 8 (2016)

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.

Achim Boom

Anette Boom

Johannes Booms

Rüdiger den Boom

Wolfgang Boomgaarden

 

Другие публикации лиц с тем же именем

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