The Complexity of Subtype Entailment for Simple Types
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
| Originalsprog | Engelsk |
|---|---|
| Titel | Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS) |
| Udgivelsessted | Warszawa, Polen |
| Forlag | IEEE Computer Society Press |
| Publikationsdato | 1997 |
| Sider | 352-361 |
| Status | Udgivet - 1997 |
ID: 227676