@inproceedings{marion:inria-00332390,
    Address = {Xian, China},
    Author = {Marion, Jean-Yves and P{\'e}choux, Romain},
    BookTitle = {{5th International Conference on Theory and Applications of Models of Computation - TAMC 2008}},
    Editor = {Agrawal, Manindra and Du, Dingzhu and Duan, Zhenhua and Li, Angsheng},
    File = {A Characterization of NCk by First Order Functional Programs - paper69.pdf},
    Month = {April},
    Organization = {{Xidian University}},
    PDF = {https://hal.inria.fr/inria-00332390/file/paper69.pdf},
    Pages = {136-147},
    Publisher = {{Springer Berlin / Heidelberg}},
    Series = {Lecture Notes in Computer Science},
    Title = {{A Characterization of NCk by First Order Functional Programs}},
    URL = {https://hal.inria.fr/inria-00332390},
    Volume = {4978},
    Year = {2008},
    bdsk-url-1 = {https://hal.inria.fr/inria-00332390},
    bdsk-url-2 = {https://doi.org/10.1007/978-3-540-79228-4},
    date-added = {2022-08-10 16:13:24 +0200},
    date-modified = {2022-08-10 16:13:24 +0200},
    hal_id = {inria-00332390},
    hal_version = {v1},
    doi = {10.1007/978-3-540-79228-4}
}

@inproceedings{marion:inria-00332390, Address = {Xian, China}, Author = {Marion, Jean-Yves and P{\'e}choux, Romain}, BookTitle = {{5th International Conference on Theory and Applications of Models of Computation - TAMC 2008}}, Editor = {Agrawal, Manindra and Du, Dingzhu and Duan, Zhenhua and Li, Angsheng}, File = {A Characterization of NCk by First Order Functional Programs - paper69.pdf}, Month = {April}, Organization = {{Xidian University}}, PDF = {https://hal.inria.fr/inria-00332390/file/paper69.pdf}, Pages = {136-147}, Publisher = {{Springer Berlin / Heidelberg}}, Series = {Lecture Notes in Computer Science}, Title = {{A Characterization of NCk by First Order Functional Programs}}, URL = {https://hal.inria.fr/inria-00332390}, Volume = {4978}, Year = {2008}, bdsk-url-1 = {https://hal.inria.fr/inria-00332390}, bdsk-url-2 = {https://doi.org/10.1007/978-3-540-79228-4}, date-added = {2022-08-10 16:13:24 +0200}, date-modified = {2022-08-10 16:13:24 +0200}, hal_id = {inria-00332390}, hal_version = {v1}, doi = {10.1007/978-3-540-79228-4} }