Timeline for Applications of propositional dynamic logic
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 20, 2009 at 15:29 | vote | accept | Filip Nikšić | ||
| Nov 20, 2009 at 15:29 | comment | added | Filip Nikšić | Thanks, compiler optimizations are just the kind of things I was looking for. | |
| Nov 19, 2009 at 17:33 | history | edited | Neel Krishnaswami | CC BY-SA 2.5 |
deleted 87 characters in body
|
| Nov 19, 2009 at 14:08 | history | answered | Neel Krishnaswami | CC BY-SA 2.5 |