bibliographer - Balder ten Cate

bibliographer a curated TCS bibliography

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

How Expressive Are Graph Neural Networks in the Presence of Node Identifiers Arie Soeteman Michael Benedikt Martin Grohe Balder ten Cate [github]

Craig Interpolation for Decidable First-Order Fragments Balder ten Cate Jesse Comer [github]

Some Model Theory of Guarded Negation Vince Barany Michael Benedikt Balder ten Cate [github]

The expressivity of XPath with transitive closure Balder ten Cate [github]

XPath, transitive closure logic, and nested tree walking automata Balder ten Cate Luc Segoufin [github]

Structural characterizations of schema-mapping languages Balder ten Cate Phokion G. Kolaitis [github]

Transitive closure logic, nested tree walking automata, and XPath Balder Ten Cate Luc Segoufin [github]

Guarded Negation Vince Bárány Balder Ten Cate Luc Segoufin [github]

Effective Interpolation and Preservation in Guarded Logics Michael Benedikt Balder Ten Cate Michael Vanden Boom [github]

Generating Plans from Proofs Michael Benedikt Balder Ten Cate Efthymia Tsamoura [github]

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

[show logs] [hide logs]