MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Isabelle Gnaedig – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Solving gpo Ordering Constraints with a Shared Term Data Structure
by Thomas Genet, Isabelle Gnaedig — 1996
… Gnaedig INRIA Lorraine & CRIN CNRS - BP 101 54602 Villers-l#s-Nancy France Phone: (+33) 83-59-30-18 - Fax…
Cited by 1 (0 self) – Add To MetaCart

Termination Proofs using gpo Ordering Constraints
by Thomas Genet, Isabelle Gnaedig — 1997 — Proceedings 22nd International Colloquium on Trees in Algebra and Programming
…Termination Proofs using gpo Ordering Constraints Thomas Genet and Isabelle Gnaedig INRIA…
Cited by 6 (1 self) – Add To MetaCart

Specification techniques; F.4.2 [MATHEMATICAL LOGIC AND FORMAL LAN-
by Isabelle Gnaedig, Hélène Kirchner
…Termination of Rewriting under Strategies* ISABELLE GNAEDIG and HÉLÈNE KIRCHNER INRIA & LORIA (UMR…
Add To MetaCart

CARIBOO : A Multi-Strategy Termination Proof Tool Based on Induction
by Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner — 2003 — in « 6th International Workshop on Termination 2003 - WST’03
… Gnaedig, Hélène Kirchner LORIA-INRIA & LORIA-CNRS B.P. 239 F-54506 Vandoeuvre-lès-Nancy Cedex e…
Cited by 1 (0 self) – Add To MetaCart

Termination of Rewriting with Local Strategies
by Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner — 2001 — Proc. of 4th International Workshop on Strategies in Automated Deduction, STRATEGIES '01
…Termination of rewriting with local strategies Olivier Fissore, Isabelle Gnaedig, Helene Kirchner…
Cited by 7 (2 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB