%0 Conference Paper %1 conf/lics/BartoK10 %A Barto, Libor %A Kozik, Marcin %B LICS %D 2010 %I IEEE Computer Society %K dblp %P 100-109 %T New Conditions for Taylor Varieties and CSP. %U http://dblp.uni-trier.de/db/conf/lics/lics2010.html#BartoK10 %@ 978-0-7695-4114-3

@inproceedings{conf/lics/BartoK10, added-at = {2023-03-24T00:00:00.000+0100}, author = {Barto, Libor and Kozik, Marcin}, biburl = {https://www.bibsonomy.org/bibtex/26b12faace1a86dfa4a2dc6f7b45a8c47/dblp}, booktitle = {LICS}, crossref = {conf/lics/2010}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.2010.34}, interhash = {ff9f80e18816a50a59f5d8437762a88c}, intrahash = {6b12faace1a86dfa4a2dc6f7b45a8c47}, isbn = {978-0-7695-4114-3}, keywords = {dblp}, pages = {100-109}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:03:21.000+0200}, title = {New Conditions for Taylor Varieties and CSP.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2010.html#BartoK10}, year = 2010 }