Pierre Leblond < Pierre Lescanne < Pierre Marchal

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 51.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
001782 (2000)	Frederic Lang ; Pierre Lescanne [France] ; Luigi Liquori ; Dan Dougherty ; Rose Kristoffer	A Generic Object-Calculus Based on Addressed Term Rewriting Systems
002943 (1996)	Z. Benaissa ; Daniel Briaud ; Pierre Lescanne [France] ; J. Rouyer-Degli	Lambda upsilon, A Calculus of Explicit Substitutions which Preserves Strong Normalisation
002971 (1996)	Pierre Lescanne [France]	La science informatique en Lorraine
002B20 (1995)	B. Chetali ; Pierre Lescanne [France]	Formal Verification of a Protocol for Communications over Faulty Channels
002B86 (1995)	Pierre Lescanne [France] ; J. Rouyer-Degli	Explicit Substitutions with de Bruijn's Levels
002C25 (1995)	Z. Benaissa ; Pierre Lescanne [France]	Triad Machine ; A General Computational Model for the Description of Abstract Machines
002D43 (1995)	Pierre Lescanne [France]	Termination of rewrite systems by elementary interpretations
002F39 (1994)	J. Rouyer ; Pierre Lescanne [France]	Verification and Programming of First-order Unification, in the Calculus of Constructions with Inductive Type
002F97 (1994)	Z. Benaissa ; Pierre Lescanne [France]	A Suitable Environments for an Efficient Calculus of Explicit Substitutions
003034 (1994)	Pierre Lescanne [France]	From λσ to λ\upsilon, a Journey through Calculi of Explicit Substitutions
003120 (1994)	Pierre Lescanne [France]	An Introduction to ORME
003142 (1994)	Pierre Lescanne [France]	On Termination of one Rule Rewrite Systems
003180 (1994)	Pierre Lescanne [France] ; J. Rouyer-Degli	The Calculus of Explicit Substitutions λ\upsilon
003516 (1992)	Pierre Lescanne [France]	Well Rewrite Orderings and Well Quasi-Orderings
003667 (1992)	B. Chetali ; Pierre Lescanne [France]	An Exercice in LP : The Proof of a Non Restoring Division Circuit
003669 (1992)	E. A. Cichon ; Pierre Lescanne [France]	Polynomial Interpretations and the Complexity of Algorithms
003724 (1992)	J. Hsiang ; H. Kirchner ; Pierre Lescanne [France] ; M. Rusinowitch	The Term Rewriting Approach to Automated Theorem Proving
003733 (1992)	Pierre Lescanne [France]	Termination of Rewrite Systems by Elementary Interpretations
003812 (1991)	Pierre Lescanne [France]	Well Rewrite Orderings and Well Quasi-Orderings
003883 (1991)	Pierre Lescanne [France]	Rewrite Orderings and Termination of Rewrite Systems
003920 (1991)	Pierre Lescanne [France]	Proving Identities in Commutative Semigroups and Monoids : An Automaton Approach

---

List of associated KwdEn.i

Nombre de documents	Descripteur
15	rewriting
11	termination
4	completion
3	confluence
3	unification
2	equational theories
2	inductive equalities
2	narrowing
2	term rewrite systems
1	CLU
1	Knuth-Bendix algorithm
1	Larch prover
1	ORME
1	Rewrite systems
1	associative and commutative completion
1	associativity and commutativity
1	automates finis
1	communication protocol
1	completion procedure
1	complexity
1	computer checked proof
1	conditional rewriting
1	critical pair
1	disequations
1	disunification
1	elementary interpretation
1	elementary interpretations
1	equational problems
1	expert system
1	extention for parallelism
1	formal verification and protocol verification
1	free algebra
1	functional programming
1	ground terms rewrite systems
1	initial algebra
1	lambda calcul
1	lambda calculus
1	logic programming
1	model
1	object calculi
1	order
1	polynomial
1	problème du mot
1	rewrite ordering
1	rewrite system
1	rewrite systems
1	rewriting system
1	rewriting systems
1	run-time system and garbage collection
1	simplification ordering
1	specification
1	term rewriting system
1	termiation
1	terminaison
1	termination of rewrite system
1	termination of rewriting system
1	terms
1	theorem prover
1	theorem proving
1	total connection
1	transformation ordering
1	tree transducers
1	unity
1	well foundedness
1	well quasi-orderings
1	well-foundedness
1	égalités

---

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 "Pierre Lescanne" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Pierre Lescanne" \
         | 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é=    Pierre Lescanne
}}

---

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