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

Economy of description by automata, grammars, and formal systems A. R. Meyer M. J. Fischer [github]
Super-exponential Complexity of Presburger Arithmetic M. J. Fischer M. O. Rabin [github]
Boolean matrix multiplication and transitive closure M. J. Fischer A. R. Meyer [github]

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