bibliographer - Rémi Gilleron

bibliographer a curated TCS bibliography

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

Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas Jérôme Champavère Rémi Gilleron Aurélien Lemay Joachim Niehren [github]

Decision Problems for Term Rewriting Systems and Recognizable Tree Languages Rémi Gilleron [github]

Bottom-up tree pushdown automata: classification and connection with rewrite systems Jean-Luc Coquidé Max Dauchet Rémi Gilleron Sandor Vagvolgyi [github]

Regular Tree Languages and Rewrite Systems Rémi Gilleron Sophie Tison [github]

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

[show logs] [hide logs]