%0 Journal Article %1 1071602 %A Schweikardt, Nicole %C New York, NY, USA %D 2005 %I ACM %J ACM Trans. Comput. Logic %K arithmetic counting-quantifiers database-theory databases first-order-logic %N 3 %P 634--671 %R http://doi.acm.org/10.1145/1071596.1071602 %T Arithmetic, first-order logic, and counting quantifiers %V 6

@article{1071602, added-at = {2009-09-28T13:30:31.000+0200}, address = {New York, NY, USA}, author = {Schweikardt, Nicole}, biburl = {https://www.bibsonomy.org/bibtex/2429c2a5116d75683cd0ef6cc907f64e3/hidders}, doi = {http://doi.acm.org/10.1145/1071596.1071602}, interhash = {e2f50ff903860f3f5eab59d13abb146f}, intrahash = {429c2a5116d75683cd0ef6cc907f64e3}, issn = {1529-3785}, journal = {ACM Trans. Comput. Logic}, keywords = {arithmetic counting-quantifiers database-theory databases first-order-logic}, number = 3, pages = {634--671}, publisher = {ACM}, timestamp = {2009-09-28T13:30:31.000+0200}, title = {Arithmetic, first-order logic, and counting quantifiers}, volume = 6, year = 2005 }