Two new methods for constructing double-ended priority queues from priority queues

From MaRDI portal
Publication:836938