scientific article; zbMATH DE number 3759523

MaRDI QIDQ3942376zbMATH OpenFDO

Authors Andrzej Salwicki

Publication date 1982

zbMATH Keywords

algorithmic logic ALalgorithmic theory of priority queues ATPQbinary search treesimplementationLOGLAN programming languagespecificationverification

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3942376)