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: Fissore:Olivier
Contributed to:
20032002
2002Wrote 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.