Login / Signup
A Decision Procedure for Term Algebras with Queues.
Tatiana Rybina
Andrei Voronkov
Published in:
ARW (2000)
Keyphrases
</>
decision making
decision rules
decision problems
decision makers
waiting times
service rates
finite capacity
database
data sets
artificial intelligence
cost function
queueing networks
decision processes
processor sharing
distributive lattices