Sather
From MaRDI portal
Software:45758
swMATH34049MaRDI QIDQ45758FDOQ45758
Author name not available (Why is that?)
Cited In (7)
- 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?)
- An algorithm for online topological ordering
- Average-case analysis of incremental topological ordering
This page was built for software: Sather
