term rewrite systems < term rewriting < term rewriting modulo ac

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 25.
[0-20] [0 - 20][0 - 25][20-24][20-40]

Ident.	Authors (with country if any)	Title
000A08 (1990)	Laurent Vigneron	Déduction automatique dans des théories associatives-commutatives
001351 (1994)	G. Kucherov ; M. Rusinowitch	On Ground-Reducibility Problem for Word Rewriting Systems with Variables
001397 (1994)	D. Hofbauer ; M. Huber	Linearizing Term Rewriting Systems Using Test Set
001734 (1995)	A. Bouhoula ; E. Kounalis ; M. Rusinowitch	Automated Mathematical Induction
001736 (1995)	Michael Rusinowitch ; Laurent Vigneron	Automated Deduction with Associative Commutative Operators
001D73 (1997)	Thomas Genet ; Isabelle Gnaedig	Termination Proofs using gpo Ordering Constraints
002443 (1998)	Harald Ganzinger ; Florent Jacquemard ; Margus Veanes	Rigid Reachability
002628 (1999)	Veronique Cortier ; Harald Ganzinger ; Florent Jacquemard ; Margus Veanes	Decidable fragments of simultaneous rigid reachability
002688 (1999)	Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Christophe Ringeissen	Rewriting with strategies in ELAN : a functional semantics
002845 (1999)	Hubert Comon ; Florent Jacquemard	Ground Reducibility is EXPTIME-complete
002902 (2000)	Harald Ganzinger ; Florent Jacquemard ; Margus Veanes	Rigid reachability, the non-symmetric form of rigid E-unification
002931 (2000)	Leo Bachmair ; I. V. Ramakrishnan ; Ashish Tiwari ; Laurent Vigneron	Congruence Closure modulo Associativity-Commutativity
002C03 (2000)	Jürgen Stuber	Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems
002D25 (2000)	Quang-Huy Nguyen ; Cuihtlauac Alvarado	ELAN for equational reasoning in Coq
002D84 (2001)	Yannick Chevalier ; Laurent Vigneron	Towards Efficient Automated Verification of Security Protocols
002E70 (2001)	Yannick Chevalier ; Laurent Vigneron	A Tool for Lazy Verification of Security Protocols
003099 (2001)	Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Christophe Ringeissen	Rewriting with strategies in ELAN : a functional semantics
003101 (2001)	Claude Kirchner ; Zhebin Qian ; Preet Kamal Singh ; Jürgen Stuber	Xemantics : a Rewriting Calculus-Based Semantics of XSLT
003268 (2002)	Quang Huy Nguyen ; Claude Kirchner ; Hélène Kirchner	External rewriting for skeptical proof assistants (extended version)
003436 (2002)	Quang Huy Nguyen	Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve
003652 (2002)	Quang Huy Nguyen ; Claude Kirchner ; Hélène Kirchner	External rewriting for skeptical proof assistants

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i -k "term rewriting" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i  \
                -Sk "term rewriting" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    term rewriting
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022