Ehrenfeucht-Fraïssé goes automatic for real addition

Thumbnail
Metadata only
Author
Klaedtke, Felix
Date
2010
Type
    Journal Article
Publication status
published
External links
Journal / series
Information and Computation
Volume
208(11)
Pages / Article No.
1283 - 1295
Publisher
Elsevier
Subject
Automata theory; Automata-based decision procedures for logical theories; Automatic structures; Upper bounds; Minimal sizes of automata; Linear arithmetic over the reals; First-order equivalence; Complexity
Organisational unit
03634 - Basin, David / Basin, David  
Notes
Received 12 August 2009, Revised 2 July 2010, Available online 27 July 2010.
More
Show all metadata
ETH Bibliography
yes
Altmetrics