Isabelle Gnaedig (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

13 Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner: A Proof of Weak Termination Providing the Right Way to Terminate. ICTAC 2004: 356-371

12 Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner: Simplification and termination of strategies in rule-based languages. PPDP 2003: 124-135

11 Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner: System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. PPDP 2002: 62-73

10 Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner: Outermost ground termination. Electr. Notes Theor. Comput. Sci. 71: (2002)

9 Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner: Termination of Rewriting with Local Strategies. Electr. Notes Theor. Comput. Sci. 58(2): (2001)

Selection of 5 from 19 records - Isabelle Gnaedig has 5 coauthors

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