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

Computing polynomial program invariants Markus Muller-Olm Helmut Seidl [github]
A Note on Karr's Algorithm Markus Muller-Olm Helmut Seidl [github]
A Modal Fixpoint Logic with Chop Markus Muller-Olm [github]
Contextual Locking for Dynamic Pushdown Networks Peter Lammich Markus Muller-Olm Helmut Seidl Alexander Wenner [github]
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints Peter Lammich Markus Muller-Olm Alexander Wenner [github]
Regular symbolic analysis of dynamic networks of pushdown systems Ahmed Bouajjani Markus Muller-Olm Tayssir Touili [github]

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