%0 Conference Paper %1 conf/csl/AikenKVW93 %A Aiken, Alexander %A Kozen, Dexter %A Vardi, Moshe Y. %A Wimmers, Edward L. %B CSL %D 1993 %E Börger, Egon %E Gurevich, Yuri %E Meinke, Karl %I Springer %K dblp %P 1-17 %T The Complexity of Set Constraints. %U http://dblp.uni-trier.de/db/conf/csl/csl93.html#AikenKVW93 %V 832 %@ 0-387-58277-0

@inproceedings{conf/csl/AikenKVW93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Aiken, Alexander and Kozen, Dexter and Vardi, Moshe Y. and Wimmers, Edward L.}, biburl = {https://www.bibsonomy.org/bibtex/23050f011ed5f24cc78b40fb95665bad3/dblp}, booktitle = {CSL}, crossref = {conf/csl/1993}, editor = {Börger, Egon and Gurevich, Yuri and Meinke, Karl}, ee = {https://doi.org/10.1007/BFb0049320}, interhash = {71af81af4b5fcaf76029a2904d5aa7aa}, intrahash = {3050f011ed5f24cc78b40fb95665bad3}, isbn = {0-387-58277-0}, keywords = {dblp}, pages = {1-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:10:26.000+0200}, title = {The Complexity of Set Constraints.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl93.html#AikenKVW93}, volume = 832, year = 1993 }