Paper: Constructive completeness for the linear-time μ-calculus (at LICS 2017)
Winner of the Kleene Award in 2017
Authors: Amina Doumane
Abstract
No Abstract Available
BibTeX
@InProceedings{Doumane-Constructivecomplet,
author = {Amina Doumane},
title = {Constructive completeness for the linear-time μ-calculus},
booktitle = {Proceedings of the Thirty second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)},
year = {2017},
month = {June},
pages = {1--12},
location = {Reykjavik},
publisher = {ACM}
}