Olivier Fissore

According to our database, Olivier Fissore authored at least 6 papers between 2001 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

A Proof of Weak Termination Providing the Right Way to Terminate.

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Terminaison de la réécriture sous stratégies.

Olivier Fissore

PhD thesis, 2003

Simplification and termination of strategies in rule-based languages.

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

2002

Outermost ground termination.

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

System Presentation -- CARIBOO: An induction based proof tool for termination with strategies.

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

2001

Termination of Rewriting with Local Strategies.

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner

Proceedings of the 4th International Workshop on Strategies in Automated Deduction, 2001