Existential definability with bounds on archimedean valuations.

Alexandra Shlapentokh

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

Keyphrases

upper bound
lower bound
fixed point
upper and lower bounds
dea models
query answering
lower and upper bounds
average case
tight bounds
database
error bounds
propositional logic
mechanism design
generalization bounds
combinatorial auctions
bidding strategies