×

A unifying look at data structures. (English) Zbl 0434.68047


MSC:

68R10 Graph theory (including graph drawing) in computer science
68R99 Discrete mathematics in relation to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
68N25 Theory of operating systems
PDFBibTeX XMLCite
Full Text: DOI