Checking priority queues

Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms

Volumn , Issue , 1999, Pages

  Finkler, Ulrich ^a   Mehlhorn, Kurt ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; ERROR ANALYSIS; MATHEMATICAL MODELS; ONLINE SYSTEMS; THEOREM PROVING;

PRIORITY QUEUES;

QUEUEING THEORY;

EID: 0032761918     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)