bibliographer - Tony Tan

bibliographer a curated TCS bibliography

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

Decidability of Graph Neural Networks via Logical Characterizations Michael Benedikt Chia-Hsuan Lu Boris Motik Tony Tan [github]

Decidability of Graph Neural Networks via Logical Characterizations Michael Benedikt Chia-Hsuan Lu Boris Motik Tony Tan [github]

A simple combinatorial proof for the small model property of two-variable logic Yanger Ma Tony Tan [github]

On two-variable guarded fragment logic with expressive local Presburger constraints Chia-Hsuan Lu Tony Tan [github]

On the Variable Hierarchy of First-Order Spectra Eryk Kopczyński Tony Tan [github]

Towards a more efficient approach for the satisfiability of two-variable logic Ting-Wei Lin Chia-Hsuan Lu Tony Tan [github]

Two Variable Logic with Ultimately Periodic Counting Michael Benedikt Egor V. Kostylev Tony Tan [github]

On the variable hierarchy of first-order spectra Eryk Kopczynski Tony Tan [github]

Two-variable logic revisited Yanger Ma Tony Tan [github]

Tree Automata over Infinite Alphabets Michael Kaminski Tony Tan [github]

On pebble automata for data languages with decidable emptiness problem Tony Tan [github]

Regular expressions for data words Leonid Libkin Tony Tan Domagoj Vrgoč [github]

An Automata Model for Trees with Ordered Data Values Tony Tan [github]

Efficient reasoning about data trees via integer linear programming Claire David Leonid Libkin Tony Tan [github]

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

[show logs] [hide logs]