( en | de | ru )

 

Disambiguation of "Ochremiak, Joanna"

Author of the publication

copydeleteadd this publication to your clipboard
Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051).

, , , and . Dagstuhl Reports, 12 (1): 101-118 (2022)

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.

Joanna Dietzel

Joanna Wilczynska

Joanna Bestry

Joanna Macyk

Joanna Pfeuffer

 

Other publications of authors with the same name

Algebraic Properties of Valued Constraint Satisfaction Problem., and . ICALP (1), volume 9134 of Lecture Notes in Computer Science, page 846-858. Springer, (2015)Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem., and . LICS, page 66-75. ACM, (2018)Turing machines with atoms, constraint satisfaction problems, and descriptive complexity., , , and . CSL-LICS, page 58:1-58:10. ACM, (2014)Homomorphism Problems for First-Order Definable Structures., , , and . FSTTCS, volume 65 of LIPIcs, page 14:1-14:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)On the Power of Symmetric Linear Programs., , and . LICS, page 1-13. IEEE, (2019)On the Power of Symmetric Linear Programs., , and . J. ACM, 68 (4): 26:1-26:35 (2021)Algebraic Properties of Valued Constraint Satisfaction Problem.. CoRR, (2014)Eliminating Recursion from Monadic Datalog Programs on Trees., , and . MFCS (1), volume 9234 of Lecture Notes in Computer Science, page 394-406. Springer, (2015)Definable isomorphism problem., , , , and . CoRR, (2018)Proof Complexity Meets Algebra., and . ICALP, volume 80 of LIPIcs, page 110:1-110:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)