bibliographer - Vince Bárány

bibliographer a curated TCS bibliography

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

A Hierarchy of Automatic-Words having a Decidable MSO Theory Vince Bárány [github]

Some Model Theory of Guarded Negation Vince Barany Michael Benedikt Balder ten Cate [github]

Automatic Presentations of Infinite Structures Vince Bárány [github]

A Story of Meaningless Terms Vince Bárány [github]

Regularity problems for visibly pushdown languages Vince Bárány Christof Løding Olivier Serre [github]

Guarded Negation Vince Bárány Balder Ten Cate Luc Segoufin [github]

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

[show logs] [hide logs]