bibliographer - Bartosz Bednarczyk

bibliographer a curated TCS bibliography

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

On the of Limits of Decision: the Adjacent Fragment of First-Order Logic Bartosz Bednarczyk Daumantas Kojelis Ian Pratt-Hartmann [github]

About the Expressive Power and Complexity of Order-Invariance with Two Variables Bartosz Bednarczyk Julien Grange [github]

Order-Invariance of Two-Variable Logic is coNExpTime-complete Bartosz Bednarczyk [github]

Statistical EL is ExpTime-complete Bartosz Bednarczyk [github]

One-Variable Logic Meets Presburger Arithmetic Bartosz Bednarczyk [github]

Modal Logics with Composition on Finite Forests Bartosz Bednarczyk Stéphane Demri Raul Fervari Alessio Mansutti [github]

Library Size: 13G (6 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]