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

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000732 (2003)	Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France]	A rewriting approach to satisfiability procedures
000803 (2002)	David Deharbe [Brésil] ; Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France]	Improving symbolic model checking by rewriting temporal logic formulae
000874 (2001)	Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France]	Uniform derivation of decision procedures by superposition
000899 (2001)	Christophe Ringeissen [France]	Matching with free function symbols : A simple extension of matching?
000900 (2001)	Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]	Matching power
000980 (2000)	G. Kucherov [France] ; M. Rusinowitch [France]	Patterns in words versus patterns in trees : A brief survey and new results
000A17 (2000)	L. Bachmair [États-Unis] ; I. V. Ramakrishnan [États-Unis] ; A. Tiwari [États-Unis] ; L. Vigneron [France]	Congruence closure modulo associativity and commutativity
000A27 (2000)	M. G. J. Van Den Brand [France] ; C. Ringeissen [Pays-Bas]	ASF+SDF parsing tools applied to ELAN
000A32 (2000)	C. Castro [France] ; E. Monfroy [Pays-Bas]	A control language for designing constraint solvers
000A68 (1999)	P. Narendran [États-Unis] ; M. Rusinowitch [France] ; R. Verma [États-Unis]	RPO constraint solving is in NP
000A69 (1999)	P. De Groote [France]	On the strong normalisation of natural deduction with permutation-conversions
000A76 (1999)	H. Kirchner [France] ; P.-E. Moreau [France]	Non-deterministic computations in ELAN
000A82 (1999)	G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France]	Hol-λσ : An intentional first-order expression of higher-order logic
000A92 (1999)	V. Cortier [France] ; H. Ganzinger [Allemagne] ; F. Jacquemard [France] ; M. Veanes [Allemagne]	Decidable fragments of simultaneous rigid reachability
000A97 (1999)	G. Bonfante [France] ; A. Cichon [France] ; J. Y. Marion [France] ; H. Touzet [France]	Complexity classes and rewrite systems with polynomial interpretation
000B38 (1998)	M. Hermann [France] ; G. Salzer [Autriche]	On the word, subsumption, and complement problem for recurrent term schematizations
000B41 (1998)	N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France]	Observational proofs with critical contexts
000B44 (1998)	B. Gramlich [France]	Modular aspects of rewrite-based specifications
000B55 (1998)	H. Touzet [France]	Encoding the Hydra battle as a rewrite system
000B56 (1998)	T. Genet [France]	Decidable approximations of sets of descendants and sets of normal forms
000B59 (1998)	C. Castro [France]	COLETTE, prototyping CSP solvers using a rule-based language

---

List of associated Author.i

Nombre de documents	Descripteur
5	Olivier Bournez
4	Hélène Kirchner
4	Silvio Ranise
3	Alessandro Armando
3	Christophe Ringeissen
3	H. Touzet
3	M. Rusinowitch
2	C. Castro
2	Claude Kirchner
2	Florent Garnier
2	Frédéric Blanqui
2	Guy-Marie Come
2	Horatiu Cirstea
2	J. Y. Marion
2	Liliana Ibanescu
2	Luigi Liquori
2	Maria Paola Bonacina
2	Mark Van Den Brand
2	Michaël Rusinowitch
2	Valérie Conraud
1	A. Bouhoula
1	A. Cichon
1	A. Tiwari
1	Anamaria Martins Moreira
1	B. Gramlich
1	Benjamin Wack
1	C. Kirchner
1	C. Lynch
1	C. Ringeissen
1	C. Scharff
1	Clara Bertolissi
1	Daniele Zucchelli
1	David Deharbe
1	E. Monfroy
1	Enrica Nicolini
1	Eric Deplagne
1	F. Jacquemard
1	Florent Jacquemard
1	G. Bonfante
1	G. Dowek
1	G. Kucherov
1	G. Salzer
1	Guillaume Bonfante
1	H. Ganzinger
1	H. Kirchner
1	I. V. Ramakrishnan
1	Isabelle Gnaedig
1	Jean-Yves Marion
1	Jean-Yves Moyen
1	Jurgen Vinju
1	Jürgen Stuber
1	Keiichirou Kusakari
1	L. Bachmair
1	L. Vigneron
1	Laurent Vigneron
1	M. G. J. Van Den Brand
1	M. Hermann
1	M. Veanes
1	Masahiko Sakai
1	Mathieu Hoyrup
1	Michael Rusinowitch
1	N. Berregeb
1	Olivier Fissore
1	P. D. Mosses
1	P. De Groote
1	P. Narendran
1	P.-E. Moreau
1	Pierre-Etienne Moreau
1	Quang Huy Nguyen
1	R. Verma
1	Silvio Ghilardi
1	Stephan Schulz
1	T. Genet
1	T. Hardin
1	Tomasz Truderung
1	V. Cortier
1	V. M. Antimirov
1	Yasuo Isogai

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Système réécriture" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Système réécriture" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.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