Ehrenfeucht-Fraïssé goes automatic for real addition

Felix Klaedtke. Ehrenfeucht-Fraïssé goes automatic for real addition. Inf. Comput., 208(11):1283-1295, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: