A formalism for treating equivalence of recursive procedures
A note on comparison of Turing machines with computers
A note on van Wijngaarden syntax
A parenthesis machine for string manipulation
À propos de la sémantique de l'appel par valeur selon A. Arnold
Algebraic definition of a functional programming language and its semantic models
Algebraical loops and transformation of variables
Algorithmization of algebras and relational structures
An algebraic treatment of flow diagrams and its application to generalized recursion theory
An analysis of programs by algebraic means
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
ARCO pour la programmation arithmétique et combinatoire
Asynchronous serioparallel execution of the loop
Categorical abstract data type (CADT)
Complexity of -term reductions
Conditional programmed automata
Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors.
A new implementation concept for parameterized specifications based on constructors and abstractors was recently introduced by Orejas, Navarro and Sánchez which includes most of the implementation concepts in the literature for initial as well as loose semantics. In this paper we redefine vertical and different kinds of horizontal compositions using the new concept of semi-pushout defined for a mixture of signature and specification morphisms. The main results concerning correctness of horizontal...
Définitions récursives par cas
Design of a Participatory Decision Making Agent Architecture Based on Argumentation and Influence Function – Application to a Serious Game about Biodiversity Conservation
This paper addresses an ongoing experience in the design of an artificial agent taking decisions and combining them with the decisions taken by human agents. The context is a serious game research project, aimed at computer-based support for participatory management of protected areas (and more specifically national parks) in order to promote biodiversity conservation and social inclusion. Its objective is to help various stakeholders (e.g., environmentalist, tourism operator) to collectively understand...
Deux constructions équivalentes d'un jeu d'arrangements pour les fichiers inverses multi-indices