Dietrich Kuske, Markus Lohrey
Monadic Chain Logic Over Iterations and Applications to Pushdown Systems
LICS, 2006.
@inproceedings{LICS-2006-KuskeL,
author = "Dietrich Kuske and Markus Lohrey",
booktitle = "{Proceedings of the 21th IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2006.35",
isbn = "0-7695-2631-4",
pages = "91--100",
publisher = "{IEEE Computer Society}",
title = "{Monadic Chain Logic Over Iterations and Applications to Pushdown Systems}",
year = 2006,
}