Ehrenfeucht-Fraissé Goes Automatic for Real Addition

Felix Klaedtke
Various logical theories can be decided by automata-theoretic methods. Notable examples are Presburger arithmetic FO$(Z,+,