bibliographer - Vincent Cheval

bibliographer a curated TCS bibliography

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

On Tree Automata, Generating Functions, and Differential Equations Rida Ait El Manssour Vincent Cheval Mahsa Shirmohammadi James Worrell [github]

On Learning Polynomial Recursive Programs Alex Buna-Marginean Vincent Cheval Mahsa Shirmohammadi James Worrell [github]

On Learning Polynomial Recursive Programs Alex Buna-Marginean Vincent Cheval Mahsa Shirmohammadi James Worrell [github]

Secure Refinements of Communication Channels Vincent Cheval Véronique Cortier Eric le Morvan [github]

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

[show logs] [hide logs]