bibliographer - Serge Grigorieff

bibliographer a curated TCS bibliography

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

The algebra of binary trees is affine complete Andre Arnold Patrick Cegielski Serge Grigorieff Irene Guessarian [github]

The algebra of binary trees is affine complete Andre Arnold Patrick Cegielski Serge Grigorieff Irene Guessarian [github]

Separability of Rational Relations in A^* times mathbb N^m by Recognizable Relations is Decidable Christian Choffrut Serge Grigorieff [github]

A Topological Approach to Recognition Mai Gehrke Serge Grigorieff Jean-Éric Pin [github]

Decision problems among the main subfamilies of rational relations Olivier Carton Christian Choffrut Serge Grigorieff [github]

Finite n-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al. Christian Choffrut Serge Grigorieff [github]

Duality and Equational Theory of Regular Languages Mai Gehrke Serge Grigorieff Jean-Éric Pin [github]

A Topological Approach to Recognition Mai Gehrke Serge Grigorieff Jean-Éric Pin [github]

Wadge hardness in Scott spaces and its effectivization VERÓNICA BECHER SERGE GRIGORIEFF [github]

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

[show logs] [hide logs]