Système réparti < Système réécriture < Système réécriture terme

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by Système réécriture

Number of relevant bibliographic references: 44.
[20-40] [0 - 20][0 - 44][40-43][40-60]

Ident.	Authors (with country if any)	Title
007B76 (2003)	Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France]	A rewriting approach to satisfiability procedures
008796 (2002)	David Déharbe [Brésil] ; Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France]	Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
009256 (2001)	Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France]	Uniform Derivation of Decision Procedures by Superposition
009330 (2001)	Christophe Ringeissen [France]	Matching with Free Function Symbols — A Simple Extension of Matching?
009441 (2001)	Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]	Matching power
009E47 (2000)	Gregory Kucherov [France] ; Michaël Rusinowitch [France]	Patterns in Words versus Patterns in Trees: A Brief Survey and New Results
009F13 (2000)	L. Bachmair [États-Unis] ; I. V. Ramakrishnan [États-Unis] ; A. Tiwari [États-Unis] ; L. Vigneron [France]	Congruence Closure Modulo Associativity and Commutativity
009F49 (2000)	Carlos Castro [France] ; Eric Monfroy [Pays-Bas]	A Control Language for Designing Constraint Solvers
00A002 (2000)	M. G. J. Van Den Brand [France] ; C. Ringeissen [Pays-Bas]	ASF+SDF parsing tools applied to ELAN
00A946 (1999)	Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] ; Rakesh Verma [États-Unis]	RPO Constraint Solving Is in NP
00A956 (1999)	Philippe De Groote [France]	On the Strong Normalization of Natural Deduction with Permutation-Conversions
00A965 (1999)	Hélèene Kirchner [France] ; Pierre-Etienne Moreau [France]	Non-deterministic Computations in ELAN
00A992 (1999)	Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]	HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic
00AA17 (1999)	Veronique Cortier [France] ; Harald Ganzinger [Allemagne] ; Margus Veanes [Allemagne] ; Florent Jacquemard [France]	Decidable Fragments of Simultaneous Rigid Reachability
00AA29 (1999)	G. Bonfante [France] ; A. Cichon [France] ; J. Y. Marion [France] ; H. Touzet [France]	Complexity Classes and Rewrite Systems with Polynomial Interpretation
00B336 (1998)	Miki Hermann [France] ; Gernot Salzer [Autriche]	On the word, subsumption, and complement problem for recurrent term schematizations
00B338 (1998)	Narjes Berregeb [France] ; Adel Bouhoula [France] ; Michaël Rusinowitch [France]	Observational proofs with critical contexts
00B346 (1998)	Bernhard Gramlich [France]	Modular aspects of rewrite-based specifications
00B372 (1998)	Hélène Touzet [France]	Encoding the hydra battle as a rewrite system
00B377 (1998)	Thomas Genet [France]	Decidable approximations of sets of descendants and sets of normal forms
00B383 (1998)	Carlos Castro [France]	COLETTE, prototyping CSP solvers using a rule-based language

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/PascalFr.i -k "Système réécriture" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/PascalFr.i  \
                -Sk "Système réécriture" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    PascalFr.i
   |clé=    Système réécriture
}}

---

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