10 citations · 23 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
A note on first-order spectra with binary relations
Eryk Kopczynski, Tony Tan
The spectrum of a first-order sentence is the set of the cardinalities of its finite models. In this paper, we consider the spectra of sentences over binary relations that use at l…
cs.FL2017★ 2 cited
Register automata with linear arithmetic
Yu-Fang Chen, Ondrej Lengal, Tony Tan +1
We propose a novel automata model over the alphabet of rational numbers, which we call register automata over the rationals (RA-Q). It reads a sequence of rational numbers and outp…