Paper: Weak MSO: automata and expressiveness modulo bisimilarity (at LICS 2014)
Authors: Facundo Carreiro Alessandro Facchini Yde Venema Fabio Zanasi
Abstract
No Abstract Available
BibTeX
@InProceedings{CarreiroFacchiniVen-WeakMSOautomataande, author = {Facundo Carreiro and Alessandro Facchini and Yde Venema and Fabio Zanasi}, title = {Weak MSO: automata and expressiveness modulo bisimilarity}, booktitle = {Proceedings of the Twenty-Ninth Annual IEEE Symposium on Logic in Computer Science (LICS 2014)}, year = {2014}, month = {July}, pages = {27:1--27:27}, location = {Vienna, Austria}, publisher = {IEEE Computer Society Press} }