| 2004 |
|---|
| 5 | EE | Olivier Fissore,
Isabelle Gnaedig,
Hélène Kirchner:
A Proof of Weak Termination Providing the Right Way to Terminate.
ICTAC 2004: 356-371 |
| 2003 |
|---|
| 4 | EE | Olivier Fissore,
Isabelle Gnaedig,
Hélène Kirchner:
Simplification and termination of strategies in rule-based languages.
PPDP 2003: 124-135 |
| 2002 |
|---|
| 3 | EE | Olivier Fissore,
Isabelle Gnaedig,
Hélène Kirchner:
System Presentation -- CARIBOO: An induction based proof tool for termination with strategies.
PPDP 2002: 62-73 |
| 2 | EE | Olivier Fissore,
Isabelle Gnaedig,
Hélène Kirchner:
Outermost ground termination.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
| 2001 |
|---|
| 1 | EE | Olivier Fissore,
Isabelle Gnaedig,
Hélène Kirchner:
Termination of Rewriting with Local Strategies.
Electr. Notes Theor. Comput. Sci. 58(2): (2001) |
