Reasoning about Plural Entities in a Temporal Logic
Research output: Book/Report › Report › Research
| Original language | Danish |
|---|
| Place of Publication | AAU, Aalborg |
|---|---|
| Number of pages | 7 |
| Publication status | Published - 2011 |
| Externally published | Yes |
| Series | Natural and Formal Languages |
|---|---|
| Volume | 16 |
ID: 167126993