Christophe Picouleau < Christophe Ringeissen < Christophe Tabacznyj

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 31.
[0-20] [0 - 20][0 - 31][20-30][20-40]

Ident.	Authors (with country if any)	Title
000179 (2005)	Silvio Ranise ; Christophe Ringeissen ; Calogero Zarba	Combining data structures with nonstably infinite theories using many-sorted logic
000273 (2005)	Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran	On Superposition-Based Satisfiability Procedures and their Combination
000727 (2004)	Anamaria Martins Moreira ; Christophe Ringeissen ; David Déharbe ; Gleydson Lima	Manipulating Algebraic Specifications with Term-based and Graph-based Representations
000740 (2004)	Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran	Nelson-Oppen, Shostak and the Extended Canonizer : A Family Picture with a Newborn
000837 (2004)	Carlos Castro ; Eric Monfroy ; Christophe Ringeissen	A Rule Language for Interaction
000A53 (2003)	Cesare Tinelli ; Christophe Ringeissen	Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures
000B17 (2003)	Christophe Ringeissen	Matching in a Class of Combined Non-Disjoint Theories
000C66 (2003)	Pierre-Etienne Moreau ; Christophe Ringeissen ; Marian Vittek	A Pattern Matching Compiler for Multiple Target Languages
000D24 (2003)	Carlos Castro ; Eric Monfroy ; Christophe Ringeissen	A Rule Language for Interaction
000D85 (2003)	Anamaria Martins-Moreira ; Christophe Ringeissen ; Anderson Santana De Oliveira	A Tool Support for Reusing ELAN Rule-Based Components
000D86 (2003)	Anamaria Martins-Moreira ; Christophe Ringeissen ; Anderson Santana De Oliveira	A Tool Support for Reusing ELAN Rule-Based Components
000F72 (2002)	Mark G. J. Van Den Brand ; Pierre-Etienne Moreau ; Christophe Ringeissen	The ELAN Environment : an Rewriting Logic Environment based on ASF+SDF Technology
001043 (2002)	David Déharbe ; Anamaria Martins Moreira ; Christophe Ringeissen	Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
001115 (2002)	Anamaria Martins Moreira ; Christophe Ringeissen ; David Déharbe ; Gleydson Lima	Manipulating Algebraic Specifications with Term-based and Graph-based Representations
001218 (2002)	Pierre-Etienne Moreau ; Christophe Ringeissen ; Marian Vittek	A Pattern Matching Compiler for Multiple Target Languages
001601 (2001)	Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Christophe Ringeissen	Rewriting with strategies in ELAN : a functional semantics
001717 (2001)	Pierre-Etienne Moreau ; Christophe Ringeissen ; Marian Vittek	A Pattern-Matching Compiler
001989 (2000)	Christophe Ringeissen ; Eric Monfroy	Generating Propagation Rules for Finite Domains : a Mixed Approach
001A25 (2000)	Christophe Ringeissen	Handling Relations over Finite Domains in the Rule-Based System ELAN
001B69 (2000)	Mark G. J. Van Den Brand ; Christophe Ringeissen	ASF+SDF parsing tools applied to ELAN
001D55 (1999)	Christophe Ringeissen ; Eric Monfroy	Generating Propagation Rules for Finite Domains via Unification in Finite Algebras

---

List of associated KwdEn.i

Nombre de documents	Descripteur
5	constraint solving
5	rewriting
4	matching
4	rewriting logic
3	algebraic specifications
3	compilation
3	constraints
3	elan
3	rules
2	algebraic specification
2	casl
2	component parameterization
2	cooperation language
2	finite domains
2	formal specification
2	generalization
2	interchange format
2	pattern matching
2	programming with constraints
2	rewrite based language
2	rewriting systems
2	software engineering
2	software reuse
2	solver extension
2	strategy
2	term rewriting
2	tool inter-operability
2	unification
1	Combination problem
1	Data Exchange Format
1	Explicit Substitutions
1	Higher-Order Unification
1	Lambda-Calculus
1	Rewriting
1	Rewriting Logic
1	Unification
1	automated deduction
1	canonizer
1	combination
1	combination problem
1	combination problems
1	computational systems
1	constraint logic programming
1	constraint programming
1	constraint solver design
1	constraint-based reasoning
1	decision problems
1	decision procedures
1	equational programs
1	equational theories
1	ewriting calculus
1	extension of solver
1	finite algebras
1	meta environment
1	model-checking
1	parsing
1	programming with rules and strategies
1	propagation rules
1	rewriting approach to satisfiability procedures
1	rewriting calculus
1	rule-based algorithm
1	rule-based language
1	rule-based programming
1	solver

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Christophe Ringeissen" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Christophe Ringeissen" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Christophe Ringeissen
}}

---

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