Typed logics with states
| Authors | |
|---|---|
| Publication date | 1997 |
| Series | Technical Report CWI, INS-R9703 |
| Publisher | Amsterdam: Unknown Publisher |
| Organisations |
|
| Document type | Report |
| Note | ILLC: LP-97-06 |
| Permalink to this page | |