scientific article; zbMATH DE number 930345
From MaRDI portal
Publication:4894115
Recommendations
Cited in
(5)- A simplified correctness proof for a well-known algorithm computing strongly connected components.
- Algorithms and data structures
- scientific article; zbMATH DE number 53903 (Why is no real title available?)
- Data Structures and Programming Techniques for the Implementation of Karmarkar's Algorithm
- Guaranteed recursive non-linear state bounding using interval analysis
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 Q4894115)