bibliographer - Amina Doumane

bibliographer a curated TCS bibliography

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

Tree algebras and bisimulation-invariant MSO on finite graphs Thomas Colcombet Amina Doumane Denis Kuperberg [github]

A Finite Presentation of Graphs of Treewidth at Most Three Amina Doumane Samuel Humeau Damien Pous [github]

Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs David Baelde Amina Doumane Denis Kuperberg Alexis Saurin [github]

First-Order Tree-to-Tree Functions Mikołaj Bojaundefinedczyk Amina Doumane [github]

Bouncing threads for infinitary and circular proofs David Baelde Amina Doumane Denis Kuperberg Alexis Saurin [github]

First-order tree-to-tree functions Mikołaj Bojańczyk Amina Doumane [github]

On the infinitary proof theory of logics with fixed points Amina Doumane [github]

Constructive completeness for the linear-time x03BC;-calculus Amina Doumane [github]

Least and Greatest Fixed Points in Ludics David Baelde Amina Doumane Alexis Saurin [github]

Towards Completeness via Proof Search in the Linear Time mu-calculus Amina Doumane David Baelde Lucca Hirschi Alexis Saurin [github]

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

[show logs] [hide logs]