scientific article; zbMATH DE number 5866337

MaRDI QIDQ3084367zbMATH OpenFDO

Authors Marc Guyomard

Publication date 16 March 2011

zbMATH Keywords

treesqueuesheapslistscomplexity of algorithmssets theory

Mathematics Subject Classification ID

Data structures (68P05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Publication:4864244
• Data Structures and Algorithms
• scientific article; zbMATH DE number 1925239
• scientific article; zbMATH DE number 839549
• scientific article; zbMATH DE number 568880
• scientific article; zbMATH DE number 1052004
• Advanced data structures. Theory and applications
• Advanced Data Structures
• scientific article; zbMATH DE number 4052970
• scientific article; zbMATH DE number 1179093

Cited in

(9)

• scientific article; zbMATH DE number 1412401 (Why is no real title available?)
• Functional data structures and algorithms. A proof assistant approach
• scientific article; zbMATH DE number 1775052 (Why is no real title available?)
• scientific article; zbMATH DE number 45947 (Why is no real title available?)
• The design of dynamic data structures
• Certificates in Data Structures
• scientific article; zbMATH DE number 1241640 (Why is no real title available?)
• scientific article; zbMATH DE number 194822 (Why is no real title available?)
• scientific article; zbMATH DE number 2173815 (Why is no real title available?)

Describes a project that uses

Uses Software

• SACS

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 Q3084367)