( en | de | ru )

 

Disambiguation of "Valarcher, Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
On the Expressive Power of the Loop Language.

, , and . Nord. J. Comput., 13 (1-2): 46-57 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pierre Venet

Pierre Nyabyenda

Pierre Gottschlich

Pierre Mattern

Pierre Mangold

 

Other publications of authors with the same name

Intensional semantics of system T of Gödel.. Workshop on Domains, volume 35 of Electronic Notes in Theoretical Computer Science, page 230-243. Elsevier, (1998)Extending the loop language with higher-order procedural variables., , and . ACM Trans. Comput. Log., 10 (4): 26:1-26:37 (2009)A Representation Theorem for Primitive Recursive Algorithms., , and . Fundam. Informaticae, 107 (4): 313-330 (2011)About Implementation of Primitive Recursive Algorithms., , and . Abstract State Machines, page 77-90. (2005)Intensionality versus Extensionality and Primitive Recursion.. ASIAN, volume 1179 of Lecture Notes in Computer Science, page 142-151. Springer, (1996)Classes of Algorithms: Formalization and Comparison., and . Bull. EATCS, (2012)Functionals Using Bounded Information and the Dynamics of Algorithms., and . LICS, page 345-354. IEEE Computer Society, (2012)On the Expressive Power of the Loop Language., , and . Nord. J. Comput., 13 (1-2): 46-57 (2006)A complete characterization of primitive recursive intensional behaviours.. RAIRO Theor. Informatics Appl., 42 (1): 69-82 (2008)Evolving Multialgebras Unify All Usual Sequential Computation Models., and . STACS, volume 5 of LIPIcs, page 417-428. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)