BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Limet:S=eacute=bastien

Contributed to:

RTA 20042004
RTA 20012001
RTA 19991999
ALP/PLILP 19981998
RTA 19981998

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.