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 × Sweden
1 × USA
Collaborated with:
I.Gnaedig H.Kirchner
Talks about:
termin (3) strategi (2) base (2) outermost (1) simplif (1) present (1) languag (1) cariboo (1) system (1) induct (1)

Person: Olivier Fissore

DBLP DBLP: Fissore:Olivier

Contributed to:

PPDP 20032003
PPDP 20022002
WRLA 20022002

Wrote 3 papers:

PPDP-2003-FissoreGK #rule-based #termination
Simplification and termination of strategies in rule-based languages (OF, IG, HK), pp. 124–135.
PPDP-2002-FissoreGK #induction #proving #termination
System Presentation — CARIBOO: An induction based proof tool for termination with strategies (OF, IG, HK), pp. 62–73.
WRLA-2002-FissoreGK #termination
Outermost ground termination (OF, IG, HK), pp. 188–207.

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.