bibliographer - Jan Obdrzalek

bibliographer a curated TCS bibliography

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

FO Model Checking on Posets of Bounded Width Jakub Gajarsky Petr Hlineny Daniel Lokshtanov Jan Obdrzalek Sebastian Ordyniak M.S. Ramanujan Saket Saurabh [github]

A New Perspective on FO Model Checking of Dense Graph Classes Jakub Gajarský Petr Hliněný Jan Obdrżálek Daniel Lokshtanov M. S. Ramanujan [github]

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

[show logs] [hide logs]