New Conditions for Taylor Varieties and CSP

Libor Barto, Marcin Kozik. New Conditions for Taylor Varieties and CSP. In Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom. pages 100-109, IEEE Computer Society, 2010. [doi]

Authors

Libor Barto

This author has not been identified. Look up 'Libor Barto' in Google

Marcin Kozik

This author has not been identified. Look up 'Marcin Kozik' in Google