scientific article; zbMATH DE number 7642012
From MaRDI portal
Publication:5869926
Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Searching and sorting (68P10) Graph theory (including graph drawing) in computer science (68R10) General topics in the theory of algorithms (68W01)
Recommendations
Cited in
(3)
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 Q5869926)