- Journal Article
Journal / seriesInformation and computation
Pages / Article No.
SubjectAutomata 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 unit03634 - Basin, David
NotesReceived 12 August 2009, Revised 2 July 2010, Available online 27 July 2010.
MoreShow all metadata