Forking and Fundamental Order in Simple Theories.

Daniel Lascar Anand Pillay

Published in: J. Symb. Log. (1999)

Keyphrases

real time
mobile robot
real world
lower bound
trade off
mobile devices
computational model