bibliographer - Val Tannen

bibliographer a curated TCS bibliography

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

The Semiring Framework for Database Provenance Todd J. Green Val Tannen [github]

Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence Val Tannen Jean H. Gallier [github]

Optimization Properties for Classes of Conjunctive Regular Path Queries Alin Deutsch Val Tannen [github]

Provenance semirings Todd J. Green Grigoris Karvounarakis Val Tannen [github]

Annotated XML J. Nathan Foster Todd J. Green Val Tannen [github]

Provenance analysis for logic and games Erich Grädel Val Tannen [github]

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

[show logs] [hide logs]