`Travelled to:`

1 × Germany

1 × Japan

1 × The Netherlands

2 × Italy

`Collaborated with:`

P.Réty G.Salzer F.Saubion H.Seidl

`Talks about:`

rewrit (3) system (2) unif (2) framework (1) existenti (1) synchron (1) properti (1) regular (1) program (1) problem (1)

## Person: Sébastien Limet

### DBLP: Limet:S=eacute=bastien

### Contributed to:

### Wrote 6 papers:

- RTA-2004-LimetS #logic programming #proving #source code #term rewriting
- Proving Properties of Term Rewrite Systems via Logic Programs (SL, GS), pp. 170–184.
- RTA-2001-LimetRS
- Weakly Regular Relations and Applications (SL, PR, HS), pp. 185–200.
- RTA-1999-LimetR #decidability
- A New Result about the Decidability of the Existential One-Step Rewriting Theory (SL, PR), pp. 118–132.
- ALP-PLILP-1998-LimetS #framework #problem
- A General Framework for R-Unification Problems (SL, FS), pp. 266–281.
- RTA-1998-LimetR #equation #term rewriting
- Solving Disequations Modulo Some Class of Rewrite Systems (SL, PR), pp. 121–135.
- TAPSOFT-1997-LimetR #tuple
- E-Unification by Means of Tree Tuple Synchronized Grammars (SL, PR), pp. 429–440.