Timeline for Bisimulation and the Knaster–Tarski theorem: What does the least fixed point mean?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Oct 26, 2021 at 22:08 | history | bounty ended | CommunityBot | ||
| S Oct 26, 2021 at 22:08 | history | notice removed | CommunityBot | ||
| Oct 24, 2021 at 12:36 | answer | added | Reijo Jaakkola | timeline score: 2 | |
| Oct 23, 2021 at 12:40 | comment | added | Janmar | The least fixed point is the empty relation right? | |
| S Oct 18, 2021 at 20:18 | history | bounty started | Karla | ||
| S Oct 18, 2021 at 20:18 | history | notice added | Karla | Draw attention | |
| Oct 12, 2021 at 17:53 | history | asked | Karla | CC BY-SA 4.0 |