%0 Journal Article %1 journals/bsl/HalpernHIKVV01 %A Halpern, Joseph Y. %A Harper, Robert %A Immerman, Neil %A Kolaitis, Phokion G. %A Vardi, Moshe Y. %A Vianu, Victor %D 2001 %J Bull. Symb. Log. %K dblp %N 2 %P 213-236 %T On the unusual effectiveness of logic in computer science. %U http://dblp.uni-trier.de/db/journals/bsl/bsl7.html#HalpernHIKVV01 %V 7

@article{journals/bsl/HalpernHIKVV01, added-at = {2020-07-03T00:00:00.000+0200}, author = {Halpern, Joseph Y. and Harper, Robert and Immerman, Neil and Kolaitis, Phokion G. and Vardi, Moshe Y. and Vianu, Victor}, biburl = {https://www.bibsonomy.org/bibtex/294f8346a7ba2914eb01013495302b27e/dblp}, ee = {https://doi.org/10.2307/2687775}, interhash = {2f22f1b0fb2e48d587711588f9cdb10c}, intrahash = {94f8346a7ba2914eb01013495302b27e}, journal = {Bull. Symb. Log.}, keywords = {dblp}, number = 2, pages = {213-236}, timestamp = {2020-07-04T11:52:57.000+0200}, title = {On the unusual effectiveness of logic in computer science.}, url = {http://dblp.uni-trier.de/db/journals/bsl/bsl7.html#HalpernHIKVV01}, volume = 7, year = 2001 }