bibliographer a curated TCS bibliography
  • obsidian
  • tags
  • authors
  • no doi
  • no pdf
  • bad author
  • add item
  • librarian

Weighted Automata and Expressions over Pre-Rational Monoids Nicolas Baudru Louis-Marie Dando Nathan Lhote Benjamin Monmege Pierre-Alain Reynier Jean-Marc Talbot [github]
Automata and Logics for Unranked and Unordered Trees Iovka Boneva Jean-Marc Talbot [github]
Two-Way Parikh Automata with a Visibly Pushdown Stack Luc Dartois Emmanuel Filiot Jean-Marc Talbot [github]
On the Alternation-free Horn Mu-calculus Jean-Marc Talbot [github]
On Functionality of Visibly Pushdown Transducers Emmanuel Filiot Jean-François Raskin Pierre-Alain Reynier Frédéric Servais Jean-Marc Talbot [github]
Properties of visibly pushdown transducers Emmanuel Filiot Jean-François Raskin Pierre-Alain Reynier Frédéric Servais Jean-Marc Talbot [github]
Visibly pushdown automata with multiplicities: finiteness and k-boundedness Mathieu Caralp Pierre-Alain Reynier Jean-Marc Talbot [github]
Two-Way Visibly Pushdown Automata and Transducers Luc Dartois Emmanuel Filiot Pierre-Alain Reynier Jean-Marc Talbot [github]

Library Size: 13G (8 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge
[show logs] [hide logs]