%0 Journal Article %A S. Grigorieff %A Ch. Choffrut %T The decision problem for some logics for finite words on infinite alphabets %J Zapiski Nauchnykh Seminarov POMI %D 2008 %P 100-119 %V 358 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_2008_358_a5/ %G en %F ZNSL_2008_358_a5