swMATH34049MaRDI QIDQ45758FDOQ45758
Author name not available (Why is that?)
Official website: http://savannah.gnu.org/projects/sather/
Cited In (8)
- A generic complete dynamic logic for reasoning about purity and effects
- Unified selection from lists, arrays, and objects.
- Maintaining a topological order under edge insertions
- A tight analysis of the Katriel-Bodlaender algorithm for online topological ordering
- Title not available (Why is that?)
- HasCasl
- An algorithm for online topological ordering
- Average-case analysis of incremental topological ordering
This page was built for software: Sather
