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

Problems with fixpoints of polynomials of polynomials Cécilia Pradic Ian Price [github]
Weihrauch problems as containers Cécilia Pradic Ian Price [github]
The equational theory of the Weihrauch lattice with (iterated) composition Cécilia Pradic [github]
Implicit automata in łambda-calculi III: affine planar string-to-string functions Cécilia Pradic Ian Price [github]
The equational theory of the Weihrauch lattice with multiplication Eike Neumann Arno Pauly Cécilia Pradic [github]
Two-way automata and transducers with planar behaviours are aperiodic Lê Thành Dũng Nguy~ên Camille Noûs Cécilia Pradic [github]
Revisiting the growth of polyregular functions: output languages, weighted automata and unary inputs Sandra Kiefer Lê Thành Dũng Nguy~ên Cécilia Pradic [github]

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