bibliographer - Joanna Ochremiak

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

On the Power of Symmetric Linear Programs Albert Atserias Anuj Dawar Joanna Ochremiak [github]

On the Power of Symmetric Linear Programs Albert Atserias Anuj Dawar Joanna Ochremiak [github]

Definable isomorphism problem Khadijeh Keshvardoost Bartek Klin Sławomir Lasota Joanna Ochremiak Szymon Toruńczyk [github]

Proof Complexity Meets Algebra Albert Atserias Joanna Ochremiak [github]

Nominal Sets over Algebraic Atoms Joanna Ochremiak [github]

Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity Bartek Klin Sławomir Lasota Joanna Ochremiak Szymon Torunczyk [github]

Locally Finite Constraint Satisfaction Problems Bartek Klin Eryk Kopczynski Joanna Ochremiak Szymon Torunczyk [github]

Library Size: 13G (7 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]