vix.ing · top · new · best · stats · spec

Tan, Tony

  1. Decidability of Graph Neural Networks via Logical Characterizations
    2024/04/28 by Benedikt, Michael, Lu, Chia-Hsuan, Tan, Tony · 7 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  2. Register automata with linear arithmetic
    2017/04/13 by Yu‐Fang Chen, Chen, Yu-Fang, Ondřej Lengál +5 · 2 citations
    Computer Science · #F.1.1 #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory
  3. Towards a more efficient approach for the satisfiability of two-variable logic
    2021/04/21 by Ting‐Wei Lin, Lin, Ting-Wei, Chia-Hsuan Lu +3 · 1 citation
    Computer Science · #Advanced Graph Theory Research #Computational Complexity (cs.CC) #F.2.2 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #semigroups and automata theory
  4. Regular graphs and the spectra of two-variable logic with counting
    2013/04/03 by Kopczynski, Eryk, Tan, Tony · 1 citation
    #Combinatorics (math.CO) #Computational Complexity (cs.CC) #Discrete Mathematics (cs.DM) #F.1.3 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #G.2.2 #Logic in Computer Science (cs.LO)
  5. On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics
    2021/06/29 by Bednarczyk, Bartosz, Orłowska, Maja, Pacanowska, Anna +1 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  6. Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
    2025/04/29 by Louwe B. Kuijer, Tony Tan, Kuijer, Louwe +5 · 4 citations
    Computer Science · #03B45 (Primary) 03C40 (Secondary) #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
  7. Two variable logic with ultimately periodic counting
    2020/06/01 by Benedikt, Michael, Kostylev, Egor V., Tan, Tony · 1 citation
    #Combinatorics (math.CO) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)