Sather
From MaRDI portal
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
- scientific article; zbMATH DE number 1084716 (Why is no real title available?)
- HasCasl
- An algorithm for online topological ordering
- Average-case analysis of incremental topological ordering
This page was built for software: Sather
