The Complexity of Subtype Entailment for Simple Types

23 Citationer (Scopus)

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

Citationsformater

@inbook{1c55319074cb11dbbee902004c4f4f50,

title = "The Complexity of Subtype Entailment for Simple Types",

author = "Fritz Henglein and Rehof, {Niels Jakob}",

year = "1997",

language = "English",

pages = "352--361",

booktitle = "Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS)",

publisher = "IEEE Computer Society Press",

}