@article{bournez:inria-00000516, TITLE = {{Implicit Complexity over an Arbitrary Structure: Quantifier Alternations}}, AUTHOR = {Bournez, Olivier and Cucker, Felipe and Jacob{\'e} de Naurois, Paulin and Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00000516}, JOURNAL = {{Information and Computation}}, PUBLISHER = {{Elsevier}}, VOLUME = {204}, NUMBER = {2}, PAGES = {210--230}, YEAR = {2006}, KEYWORDS = {Implicit complexity ; Safe recursion ; Arbitrary structures ; BSS computation}, HAL_ID = {inria-00000516}, HAL_VERSION = {v1}, }