Pierre Valarcher

Pierre Valarcher

Université Paris-Est Créteil - Créteil / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4520591
University of Paris-Est Créteil
person_outline Pierre Valarcher's MOST POPULAR ARTICLES
1-) Extending the loop language with higher-order procedural variables T Crolard, E Polonowski, P Valarcher ACM Transactions on Computational Logic (TOCL) 10 (4), 1-37, 2009 152009
2-) Evolving MultiAlgebras unify all usual sequential computation models S Grigorieff, P Valarcher arXiv preprint arXiv:1001.2160, 2010 142010
3-) On the expressive power of the Loop language T Crolard, S Lacas, P Valarcher Nord. J. Comput. 13 (1-2), 46-57, 2006 132006
4-) Classes of algorithms: Formalization and comparisonS Grigorieff, P Valarcher, Y GurevichBulletin of EATCS 2 (107), 201392013
5-) Intensionality vs extensionality and primitive recursionP ValarcherASIAN Computing Science Conference-LNCS 1179, 19968*1996