Thierry Cachat
Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games
ICALP, 2003.
@inproceedings{ICALP-2003-Cachat,
author = "Thierry Cachat",
booktitle = "{Proceedings of the 30th International Colloquium on Automata, Languages and Programming}",
doi = "10.1007/3-540-45061-0_45",
isbn = "3-540-40493-7",
pages = "556--569",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games}",
volume = 2719,
year = 2003,
}











