The Complexity of Subtype Entailment for Simple Types

23 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS)
Place of Publication	Warszawa, Polen
Publisher	IEEE Computer Society Press
Publication date	1997
Pages	352-361
Publication status	Published - 1997

Cite this

@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",

}