@inproceedings{pechoux:inria-00110014, TITLE = {{A characterization of Alternating log time by first order functional programs}}, AUTHOR = {P{\'e}choux, Romain and Marion, Jean-Yves and Bonfante, Guillaume}, URL = {https://inria.hal.science/inria-00110014}, BOOKTITLE = {{13th International Conference on Logic for Programming Artificial Intelligence and Reasoning - LPAR-13}}, ADDRESS = {Phnom Penh/Cambodia}, PUBLISHER = {{Springer}}, SERIES = {Logic for Programming, Artificial Intelligence, and Reasoning}, YEAR = {2006}, MONTH = Nov, PDF = {https://inria.hal.science/inria-00110014/file/44.pdf}, HAL_ID = {inria-00110014}, HAL_VERSION = {v1}, }