bibliographer - Pietro Sala

bibliographer a curated TCS bibliography

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

The Logic of Prefixes and Suffixes is Elementary under Homogeneity Dario Della Monica Angelo Montanari Gabriele Puppis Pietro Sala [github]

Beyond ømega-regular languages: ømegaT-regular expressions and their automata and logic counterparts David Barozzini David de Frutos-Escrig Dario Della Monica Angelo Montanari Pietro Sala [github]

Which fragments of the interval temporal logic HS are tractable in model checking Laura Bozzelli Alberto Molinari Angelo Montanari Adriano Peron Pietro Sala [github]

Interval vs. Point Temporal Logic Model Checking Laura Bozzelli Alberto Molinari Angelo Montanari Adriano Peron Pietro Sala [github]

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

[show logs] [hide logs]