%0 Conference Paper %1 conf/tamc/Vardi09 %A Vardi, Moshe Y. %B TAMC %D 2009 %E Chen, Jianer %E Cooper, S. Barry %I Springer %K dblp %P 3 %T Constraints, Graphs, Algebra, Logic, and Complexity. %U http://dblp.uni-trier.de/db/conf/tamc/tamc2009.html#Vardi09 %V 5532 %@ 978-3-642-02016-2

@inproceedings{conf/tamc/Vardi09, added-at = {2017-05-21T00:00:00.000+0200}, author = {Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2bc15a8f897cd6aa391bb266cc08179f3/dblp}, booktitle = {TAMC}, crossref = {conf/tamc/2009}, editor = {Chen, Jianer and Cooper, S. Barry}, ee = {https://doi.org/10.1007/978-3-642-02017-9_2}, interhash = {33364492507bdb617b37c1f2719c0e29}, intrahash = {bc15a8f897cd6aa391bb266cc08179f3}, isbn = {978-3-642-02016-2}, keywords = {dblp}, pages = 3, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:44:58.000+0200}, title = {Constraints, Graphs, Algebra, Logic, and Complexity.}, url = {http://dblp.uni-trier.de/db/conf/tamc/tamc2009.html#Vardi09}, volume = 5532, year = 2009 }