@inproceedings{marion:inria-00332390, TITLE = {{A Characterization of NCk by First Order Functional Programs}}, AUTHOR = {Marion, Jean-Yves and P{\'e}choux, Romain}, URL = {https://inria.hal.science/inria-00332390}, BOOKTITLE = {{5th International Conference on Theory and Applications of Models of Computation - TAMC 2008}}, ADDRESS = {Xian, China}, ORGANIZATION = {{Xidian University}}, EDITOR = {Manindra Agrawal and Dingzhu Du and Zhenhua Duan and Angsheng Li}, PUBLISHER = {{Springer Berlin / Heidelberg}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {4978}, PAGES = {136-147}, YEAR = {2008}, MONTH = Apr, DOI = {10.1007/978-3-540-79228-4}, PDF = {https://inria.hal.science/inria-00332390/file/paper69.pdf}, HAL_ID = {inria-00332390}, HAL_VERSION = {v1}, }