23 datasets found

International audience

We investigate modular properties of term rewriting systems, the basic operational formalism for equational specifications. First we study sufficient conditions for...

We investigate the question whether semi-completeness, i.e., weak termination plus confluence, of term rewriting systems is preserved under the normalization of...

This paper presents the proofs of the strong normalization, subject reduction, and Church-Rosser theorems for a presentation of the intuitionistic modal lambda...

Projet COQ

Projet COQ

The aim of this paper is first to describe an algorithm for testing sufficient completeness and second to present concepts necessary to understand the behavior of an...

In this thesis, we study the notions of determinism and confluence in the context of concurrent and sycnrhnous systems. The latter are variants of the pi-calculus and...

International audience

Alternance de plage sableuse, de méandres morts et de forêt-galeries, à proximité de Puerto Bermejo. Le fleuve détermine la frontière Uruguay - Argentine.

Version 1, 16 pages, 3 figures

So many churches all over Europe bear a Saint-Martin's title that it is tempting to look for true Martin's travels everywhere. In the countries of Ain river, near...

This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit...

Full version

Légende manuscrite sur le document original : "France : Jura, Bourgogne : Plaines de la Saône et du Rhône : Lyon et région lyonnaise : Le confluent entre le Rhône et...

Légende manuscrite sur le document original : "France : Jura, Bourgogne : Plaines de la Saône et du Rhône : Vallée moyenne du Rhône et Bas Dauphiné : Crussol,...

This thesis deal with the differential Galois theory and more particularly the Borel-Laplace summation of the divergent power series. There are two parts. The first...

We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with a family of algebraic laws, and might be useful...

International audience

Colloque avec actes et comité de lecture.