Henkin quantifiers: logic, games, and computation
| Authors | |
|---|---|
| Publication date | 2006 |
| Journal | Bulletin of the European Association for Theoretical Computer Science |
| Volume | Issue number | 89 | 06-2006 |
| Pages (from-to) | 136-155 |
| Number of pages | 19 |
| Organisations |
|
| Document type | Article |
| Permalink to this page | |