dblp.uni-trier.dewww.uni-trier.de

Isabelle Gnaedig Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
19EEIsabelle Gnaedig: Termination of Priority Rewriting. LATA 2009: 386-397
18EEIsabelle Gnaedig, Hélène Kirchner: Termination of rewriting under strategies. ACM Trans. Comput. Log. 10(2): (2009)
2007
17EEIsabelle Gnaedig: Induction for positive almost sure termination. PPDP 2007: 167-178
16EEIsabelle Gnaedig, Hélène Kirchner: Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations. Rewriting, Computation and Proof 2007: 44-67
2006
15EEIsabelle Gnaedig, Hélène Kirchner: Computing constructor forms with non terminating rewrite programs. PPDP 2006: 121-132
2005
14EEIsabelle Gnaedig, Hélène Kirchner: Termination of rewriting strategies: a generic approach CoRR abs/cs/0507064: (2005)
2004
13EEOlivier Fissore, Isabelle Gnaedig, Hélène Kirchner: A Proof of Weak Termination Providing the Right Way to Terminate. ICTAC 2004: 356-371
2003
12EEOlivier Fissore, Isabelle Gnaedig, Hélène Kirchner: Simplification and termination of strategies in rule-based languages. PPDP 2003: 124-135
2002
11EEOlivier Fissore, Isabelle Gnaedig, Hélène Kirchner: System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. PPDP 2002: 62-73
10EEOlivier Fissore, Isabelle Gnaedig, Hélène Kirchner: Outermost ground termination. Electr. Notes Theor. Comput. Sci. 71: (2002)
2001
9EEOlivier Fissore, Isabelle Gnaedig, Hélène Kirchner: Termination of Rewriting with Local Strategies. Electr. Notes Theor. Comput. Sci. 58(2): (2001)
2000
8EEHélène Kirchner, Isabelle Gnaedig: Termination and normalisation under strategy Proofs in ELAN. Electr. Notes Theor. Comput. Sci. 36: (2000)
1997
7EEThomas Genet, Isabelle Gnaedig: Termination Proofs Using gpo Ordering Constraints. TAPSOFT 1997: 249-260
1992
6EEIsabelle Gnaedig: Termination of Order-sorted Rewriting. ALP 1992: 37-52
5EEIsabelle Gnaedig: ELIOS-OBJ Theorem Proving in a Specification Language. ESOP 1992: 182-199
1990
4 Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner: Equational Completion in Order-Sorted Algebras. Theor. Comput. Sci. 72(2&3): 169-202 (1990)
1988
3EEIsabelle Gnaedig, Claude Kirchner, Hélène Kirchner: Equational Completion in Order-Sorted Algebras (Extended Abstract). CAAP 1988: 165-184
1987
2 Isabelle Gnaedig: Knuth-Bendix procedure and non-deterministic behaviour - An example. Bulletin of the EATCS 32: 86-92 (1987)
1986
1EEIsabelle Gnaedig, Pierre Lescanne: Proving Termination of Associative Commutative Rewriting Systems by Rewriting. CADE 1986: 52-61

Coauthor Index

1Olivier Fissore [9] [10] [11] [12] [13]
2Thomas Genet [7]
3Claude Kirchner [3] [4]
4Hélène Kirchner [3] [4] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18]
5Pierre Lescanne [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)