bibliographer - Tim French

bibliographer a curated TCS bibliography

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

Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology Omar I. Al-Bataineh Mark Reynolds Tim French Terry Woodings [github]

Decidability of Quantifed Propositional Branching Time Logics Tim French [github]

mu-programs, uniform interpolation and bisimulation quantifiers for modal logics Giovanna D'Agostino Giacomo Lenzi Tim French [github]

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

[show logs] [hide logs]