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

Grammars with macro-like productions Michael J. Fischer [github]
Stably Computable Properties of Network Graphs Dana Angluin James Aspnes Melody Chan Michael J. Fischer Hong Jiang René Peralta [github]
Computation in networks of passively mobile finite-state sensors Dana Angluin James Aspnes Zoë Diamadi Michael J. Fischer René Peralta [github]
Propositional dynamic logic of regular programs Michael J. Fischer Richard E. Ladner [github]
Computation in networks of passively mobile finite-state sensors Dana Angluin James Aspnes Zoë Diamadi Michael J. Fischer René Peralta [github]
Impossibility of distributed consensus with one faulty process Michael J. Fischer Nancy A. Lynch Michael S. Paterson [github]

Library Size: 13G (6 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge
[show logs] [hide logs]