pith. machine review for the scientific record. sign in

Tony Tan

Identifiers

  • name variant Tony Tan 0.60 · backfill

Papers (10)

  1. Register automata with linear arithmetic cs.FL · 2017 · author #3
  2. Parallel Evaluation of Multi-Semi-Joins cs.DB · 2016 · author #3
  3. Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference cs.LO · 2014 · author #1
  4. On the variable hierarchy of first-order spectra cs.LO · 2014 · author #2
  5. Regular graphs and the spectra of two-variable logic with counting cs.LO · 2013 · author #2
  6. Automata for two-variable logic over trees with ordered data values cs.LO · 2012 · author #1
  7. Graph Reachability and Pebble Automata over Infinite Alphabets cs.FL · 2011 · author #1
  8. Feasible Automata for Two-Variable Logic with Successor on Data Words cs.FL · 2011 · author #3
  9. Extending B\"uchi Automata with Constraints on Data Values cs.LO · 2010 · author #2
  10. On Pebble Automata for Data Languages with Decidable Emptiness Problem cs.FL · 2009 · author #1

Mentions

  • 0910.5844 #1 · backfill · confidence 0.70 Tony Tan

Frequent Coauthors