bibliographer - Pierre Chambart

bibliographer a curated TCS bibliography

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

Computing blocker sets for the regular post embedding problem Pierre Chambart Philippe Schnoebelen [github]

Pumping and counting on the regular post embedding problem Pierre Chambart Philippe Schnoebelen [github]

Du Problème de sous-mot de Post et de la complexité des canaux non fiables Pierre Chambart [github]

Mixing Lossy and Perfect Fifo Channels Pierre Chambart Philippe Schnoebelen [github]

Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems Pierre Chambart Philippe Schnoebelen [github]

Forward analysis and model checking for trace bounded WSTS Pierre Chambart Alain Finkel Sylvain Schmitz [github]

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

[show logs] [hide logs]