%0 Generic %1 ahvonen2024logicalcharacterizationsrecurrentgraph %A Ahvonen, Veeti %A Heiman, Damian %A Kuusisto, Antti %A Lutz, Carsten %D 2024 %K imported %T Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats %U https://arxiv.org/abs/2405.14606

@misc{ahvonen2024logicalcharacterizationsrecurrentgraph, added-at = {2024-12-10T12:48:45.000+0100}, archiveprefix = {arXiv}, author = {Ahvonen, Veeti and Heiman, Damian and Kuusisto, Antti and Lutz, Carsten}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/253401896791b92f5b3895e594adbfd25/scadsfct}, eprint = {2405.14606}, interhash = {b8dc1fd269c1caf000249752a21a2982}, intrahash = {53401896791b92f5b3895e594adbfd25}, keywords = {imported}, primaryclass = {cs.LO}, timestamp = {2024-12-10T12:48:45.000+0100}, title = {Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats}, url = {https://arxiv.org/abs/2405.14606}, year = 2024 }