Bisimulations on Planet Kripke
| Authors |
|
|---|---|
| Supervisors | |
| Award date | 26-01-2006 |
| ISBN |
|
| Number of pages | 184 |
| Publisher | Amsterdam: ILLC Dissertation Series |
| Organisations |
|
| Document type | PhD thesis |
| Note | Research conducted at: Universiteit van Amsterdam |
| Language | English |
| Downloads | |
| Permalink to this page | |
