bibliographer - Simon Halfon

bibliographer a curated TCS bibliography

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

Measuring well quasi-ordered finitary powersets Sergio Abriola Simon Halfon Aliaume Lopez Sylvain Schmitz Philippe Schnoebelen Isa Vialard [github]

Infinitary Noetherian Constructions II. Transfinite Words and the Regular Subword Topology Jean Goubault-Larrecq Simon Halfon Aliaume Lopez [github]

On Effective Representations of Well Quasi-Orderings Simon Halfon [github]

Context-free commutative grammars with integer counters and resets Dmitry Chistikov Christoph Haase Simon Halfon [github]

The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering Jean Goubault-Larrecq Simon Halfon Prateek Karandikar K. Narayan Kumar Philippe Schnoebelen [github]

On Buchi One-Counter Automata Stanislav Bøhm Stefan Gøller Simon Halfon Piotr Hofman [github]

Integer Vector Addition Systems with States Christoph Haase Simon Halfon [github]

Integer Vector Addition Systems with States Christoph Haase Simon Halfon [github]

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

[show logs] [hide logs]