%0 Journal Article %1 journals/tocl/NevenSV04 %A Neven, Frank %A Schwentick, Thomas %A Vianu, Victor %D 2004 %J ACM Trans. Comput. Log. %K dblp %N 3 %P 403-435 %T Finite state machines for strings over infinite alphabets. %U http://dblp.uni-trier.de/db/journals/tocl/tocl5.html#NevenSV04 %V 5

@article{journals/tocl/NevenSV04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Neven, Frank and Schwentick, Thomas and Vianu, Victor}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d37824ce439da25f60ac2a6fd92df81c/dblp}, ee = {https://doi.org/10.1145/1013560.1013562}, interhash = {16d6ef52841b520a0597b26ccf033ca1}, intrahash = {d37824ce439da25f60ac2a6fd92df81c}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 3, pages = {403-435}, timestamp = {2019-09-27T06:33:48.000+0200}, title = {Finite state machines for strings over infinite alphabets.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl5.html#NevenSV04}, volume = 5, year = 2004 }