Sather
From MaRDI portal
Software:45758
No author found.
Related Items (7)
Unified selection from lists, arrays, and objects. ⋮ A tight analysis of the Katriel-Bodlaender algorithm for online topological ordering ⋮ Average-case analysis of incremental topological ordering ⋮ A generic complete dynamic logic for reasoning about purity and effects ⋮ Maintaining a topological order under edge insertions ⋮ Unnamed Item ⋮ An algorithm for online topological ordering
This page was built for software: Sather
