User contributions for Dodecamino
Results for Dodecamino talk block log uploads logs global block log global account filter log
A user with 2 edits. Account created on 10 June 2020.
10 June 2020
- 14:4014:40, 10 June 2020 diff hist +392 Modal μ-calculus I've set a proper reference to the manuscript of Scott and Bakker defining the mu calculus. However the manuscript was never published apparently so I'm not sure "cite journal" is correct here. But that's how it is referenced in the Kozen's paper I added, and it can be found everywhere.
- 13:5413:54, 10 June 2020 diff hist +210 CTL* Fixed the creation date of CTL* with a reference to the paper.
