Sather
From MaRDI portal
Cited in
(8)- HasCasl
- Maintaining a topological order under edge insertions
- Unified selection from lists, arrays, and objects.
- A tight analysis of the Katriel-Bodlaender algorithm for online topological ordering
- An algorithm for online topological ordering
- scientific article; zbMATH DE number 1084716 (Why is no real title available?)
- Average-case analysis of incremental topological ordering
- A generic complete dynamic logic for reasoning about purity and effects
This page was built for software: Sather
