WorldCat Identities

Lescanne, Pierre

Overview
Works: 78 works in 126 publications in 4 languages and 897 library holdings
Genres: Conference proceedings  History  Bibliography 
Roles: Editor, Creator, Translator
Classifications: QA76.6, 004.21
Publication Timeline
Key
Publications about  Pierre Lescanne Publications about Pierre Lescanne
Publications by  Pierre Lescanne Publications by Pierre Lescanne
Most widely held works by Pierre Lescanne
Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings by J Grabowski ( Book )
17 editions published between 1988 and 1989 in 3 languages and held by 349 WorldCat member libraries worldwide
This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings by Pierre Lescanne ( Book )
11 editions published in 1987 in English and held by 310 WorldCat member libraries worldwide
This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987
Algebraic system specification and development : a survey and annotated bibliography by M Bidoit ( )
4 editions published in 1991 in English and held by 62 WorldCat member libraries worldwide
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are included, together with some ideas concerning possible future directions
Les Sciences exactes ( Book )
1 edition published in 1996 in French and held by 16 WorldCat member libraries worldwide
Algebraic and logic programming : proceedings of an international workshop held in Gaussig (GDR), November 14-18, 1988 by International Workshop on Algebraic and Logic Programming ( Book )
4 editions published in 1988 in English and held by 14 WorldCat member libraries worldwide
Rewriting techniques and applications Bordeaux, France, May 25-27, 1987 : proceedings : [2nd International conference on rewriting techniques and applications, RTA-87, held in Bordeaux ...] by International Conference on Rewriting Techniques and Applications ( Book )
1 edition published in 1987 in English and held by 12 WorldCat member libraries worldwide
Rewriting techniques and applications : RTA ; 2. international conference, Bordeaux, France, May 25 - 27, 1987 ; proceedings ( Book )
1 edition published in 1987 in English and held by 11 WorldCat member libraries worldwide
Recursive decomposition ordering and multiset orderings by Jean-Pierre Jouannaud ( Book )
2 editions published in 1982 in English and held by 9 WorldCat member libraries worldwide
Rewriting Techniques and Applications by Pierre Lescanne ( )
4 editions published between 1987 and 2007 in English and held by 9 WorldCat member libraries worldwide
Second Conference on Rewriting Techniques and Applications : Bordeaux, May 1987 by 1987, Bordeaux) International Conference on Rewriting Techniques and Applications (2 ( Book )
3 editions published in 1989 in English and held by 8 WorldCat member libraries worldwide
Rewriting techniques and applications : Bordeaux, France, May 1987, proceedings ( Book )
1 edition published in 1987 in English and held by 8 WorldCat member libraries worldwide
Algebraic and logic programming : proceedings : International workshop, Gaussig, GDR, November 14-18, 1988 ; eds J. Grabowski ... [et al.] ( Book )
1 edition published in 1988 in English and held by 7 WorldCat member libraries worldwide
Well rewrite orderings and well quasi-orderings by Pierre Lescanne ( Book )
4 editions published between 1991 and 1993 in English and held by 7 WorldCat member libraries worldwide
Abstract: "This paper studies well (quasi) orderings described as rewrite orderings and proposes a new family of well (quasi) orderings that extends the embedding or divisibility order of G. Higman. For instance, the well (quasi) orderings proposed in this paper may contain pairs of the form f(f(x))> f(g(f(x))). Conditions under which the transitive closure of a well-founded rewrite relation is a well-quasi-rodering [sic] are given. Finally, an attempt to extend the recursive path ordering is proposed."
Echangeurs de chaleur [Wärmeaustauscher.] by Romano Gregorig ( Book )
3 editions published in 1965 in French and German and held by 5 WorldCat member libraries worldwide
Théorie des programmes : schémas, preuves, sémantique by C Livercy ( Book )
1 edition published in 1978 in French and held by 4 WorldCat member libraries worldwide
Terminaison par complétion = Termination by completion by Françoise Bellegarde ( Book )
1 edition published in 1990 in English and held by 4 WorldCat member libraries worldwide
Abstract: "This paper presents a completion procedure for proving termination of term rewrite systems. It works as follows. Given a term rewrite system R supposed to terminate and a term rewrite system T used to transform R, the completion builds an auxiliary term rewrite system S, the system transformed of R by T. The termination of S and T associated with a property called local cooperation implies the termination of R. If the process terminates this provides a mechanical proof of the termination of R."
Étude algébrique et relationnelle des types abstraits et de leurs représentations by Pierre Lescanne ( Book )
2 editions published in 1979 in Undetermined and French and held by 4 WorldCat member libraries worldwide
DEMONSTRATION AUTOMATIQUE PAR DES TECHNIQUES DE REECRITURES by M Rusinowitch ( Book )
1 edition published in 1987 in French and held by 3 WorldCat member libraries worldwide
INTRODUCTION A LA LOGIQUE DU PREMIER ORDRE ET AUX SYSTEMES DE REECRITURE. ETUDE DE QUELQUES ORDRES DE SIMPLIFICATION. ARBRES SEMANTIQUES TRANSFINIS. STRATEGIES DE PARAMODULATION. COMPLETUDE EN PRESENCE DE REGLES DE REDUCTION. STRATEGIES DE SUPERPOSITION. ENSEMBLES COMPLETS DE REGLES D'INFERENCE POUR LES AXIOMES DE REGULARITE
Equational problems and disunification by Hubert Comon ( Book )
1 edition published in 1988 in English and held by 3 WorldCat member libraries worldwide
CALCUL FORMEL EN GEOMETRIE ALGEBRIQUE REELLE APPLIQUE A LA TERMINAISON DES SYSTEMES DE REECRITURE by Jocelyne Rouyer ( Book )
1 edition published in 1991 in French and held by 3 WorldCat member libraries worldwide
LES SUITES DE STURM-HABICHT PERMETTENT DE DETERMINER LE NOMBRE DE RACINES REELLES D'UN POLYNOME P ET LES SIGNES D'UNE LISTE DE POLYNOMES Q#1,...,Q#K EN CHACUNE DE CES RACINES, LES POLYNOMES P,Q#1,...,Q#K ETANT DES POLYNOMES A COEFFICIENTS REELS ALGEBRIQUES. NOUS UTILISONS CES PROPRIETES POUR DECIDER SI UN POLYNOME A N VARIABLES ET A COEFFICIENTS ENTIERS ADMET DES RACINES DANS R#+#N ET SI UNE INEQUATION POLYNOMIALE A PLUSIEURS VARIABLES EST VERIFIEE POUR TOUTE VALEUR POSITIVE OU NULLE DE CES VARIABLES. NOUS APPLIQUONS ENSUITE CETTE METHODE POUR AUTOMATISER LA PREUVE DE TERMINAISON DE SYSTEMES DE REECRITURE FONDEE SUR LES INTERPRETATIONS POLYNOMIALES
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.79 (from 0.00 for Algebraic ... to 0.88 for Rewriting ...)
Alternative Names
Lescanne, P.
Lescanne, P. (Pierre)
Languages
English (53)
French (7)
German (1)
Italian (1)
Covers