Paper: New Conditions for Taylor Varieties and CSP (at LICS 2010)
Authors: Libor Barto Marcin Kozik
Abstract
No Abstract Available
BibTeX
@InProceedings{BartoKozik-NewConditionsforTay,
author = {Libor Barto and Marcin Kozik},
title = {New Conditions for Taylor Varieties and CSP},
booktitle = {Proceedings of the Twenty-Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2010)},
year = {2010},
month = {July},
pages = {100-109},
location = {Edinburgh, Scotland, UK},
publisher = {IEEE Computer Society Press}
}
