%0 Journal Article %1 journals/lmcs/RorabaughTW17 %A Rorabaugh, Danny %A Tardif, Claude %A Wehlau, David L. %D 2017 %J Logical Methods in Computer Science %K dblp %N 1 %T Logical compactness and constraint satisfaction problems. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#RorabaughTW17 %V 13

@article{journals/lmcs/RorabaughTW17, added-at = {2020-01-14T00:00:00.000+0100}, author = {Rorabaugh, Danny and Tardif, Claude and Wehlau, David L.}, biburl = {https://www.bibsonomy.org/bibtex/2f08fc7fc3ca047a3e29de585f8e597a6/dblp}, ee = {http://arxiv.org/abs/1609.05221}, interhash = {8c7c7ac4164f2a2bdebc2a1a34fa7e25}, intrahash = {f08fc7fc3ca047a3e29de585f8e597a6}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2020-01-15T11:39:18.000+0100}, title = {Logical compactness and constraint satisfaction problems.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#RorabaughTW17}, volume = 13, year = 2017 }