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

Originalsprog	Engelsk
Titel	Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP)
Forlag	Springer
Publikationsdato	1998
Sider	616-627
Status	Udgivet - 1998

Citationsformater

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

}