Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443

Original language	English
Title of host publication	Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP)
Publisher	Springer
Publication date	1998
Pages	616-627
Publication status	Published - 1998

Cite this

@inbook{41d4c30074ca11dbbee902004c4f4f50,

title = "Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443",

author = "Fritz Henglein and Jakob Rehof",

year = "1998",

language = "English",

pages = "616--627",

booktitle = "Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP)",

publisher = "Springer",

}