bibliographer - R. Lazic

bibliographer a curated TCS bibliography

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

The Reachability Problem for Petri Nets is Not Elementary (Extended Abstract) W. Czerwinski S. Lasota R. Lazic J. Leroux F. Mazowiecki [github]

A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games L. Daviaud M. Jurdzinski R. Lazic [github]

LTL with the Freeze Quantifier and Register Automata S. Demri R. Lazic [github]

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

[show logs] [hide logs]