A decision procedure for term algebras with queues.

Tatiana Rybina Andrei Voronkov

Published in: ACM Trans. Comput. Log. (2001)

Keyphrases

decision making
decision makers
decision problems
waiting times
decision rules
retrial queue
service rates
queue length
search procedure
data structure
information systems
real time
information retrieval systems
decision process
cost function
decision processes
search algorithm