Inference systems for update semantics
| Authors |
|
|---|---|
| Publication date | 1994 |
| Host editors |
|
| Book title | Integrating semantic theories II |
| Series | DYANA-2 Deliverables, R2.1.B. |
| Pages (from-to) | 227-275 |
| Publisher | Amsterdam: ILLC |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |
