Lescanne, Pierre.
Lescanne, Pierre, 1947-....
Pierre Lescanne mathématicien et informaticien français
Pierre Lescanne
VIAF ID: 225948150 ( Personal )
Permalink: http://viaf.org/viaf/225948150
Preferred Forms
- 200 _ | ‡a Lescanne ‡b Pierre
-
-
-
-
- 100 1 _ ‡a Lescanne, Pierre
- 100 1 _ ‡a Lescanne, Pierre
- 100 1 _ ‡a Lescanne, Pierre
- 100 1 _ ‡a Lescanne, Pierre, ‡d 1947-....
-
- 100 0 _ ‡a Pierre Lescanne
- 100 0 _ ‡a Pierre Lescanne ‡c mathématicien et informaticien français
4xx's: Alternate Name Forms (5)
5xx's: Related Names (11)
- 500 1 _ ‡a Chetali, Boutheïna
- 500 1 _ ‡a Condillac, Maryse
- 500 1 _ ‡a Grabowski, J.
- 500 1 _ ‡a Grabowski, Jan
- 500 1 _ ‡a Gregorig, Romano
- 500 1 _ ‡a Hirschkoff, Daniel
- 500 1 _ ‡a Livercy, C
- 500 1 _ ‡a Livercy, C.
- 500 1 _ ‡a Riva Berni, A. de
- 500 1 _ ‡a Tison, Sophie
- 500 1 _ ‡a Wechler, Wolfgang
Works
Title | Sources |
---|---|
Abstraction et formalisation en théorie des jeux. | |
Algebraic and Logic Programming : International Workshop Gaussig, GDR, November 14-18, 1988 Proceedings | |
Algebraic system specification and development : A survey and annotated bibliography | |
Application of type theory and the COQ assistant to the verification of parallel programs. | |
Aspects de la théorie de la programmation : école d'Eté d'Informatique, Tarbes, 1974 | |
Automatic déduction with rewriting techniques. | |
CALCUL FORMEL EN GEOMETRIE ALGEBRIQUE REELLE APPLIQUE A LA TERMINAISON DES SYSTEMES DE REECRITURE | |
COMPUTER ALGEBRA IN REAL GEOMETRY APPLIED TO TERMINATION OF REWRITING SYSTEMS. | |
Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X | |
Contribution to the CATY automatic programming : a program computer assisted construction system. | |
Decidability of the confluence of ground term rewriting systems | |
Développement et vérification des logiques probabilistes et des cadres logiques | |
Développements d'algorithmes dans le calcul des constructions | |
Echangeurs de chaleur | |
Encyclopédie illustrée de la Lorraine | |
Étude algébrique et relationnelle des types abstraits et de leurs représentations | |
Etude de quelques théories des langages et généralisation du théorème de Kleene | |
Étude et réalisation de méthodes de preuve par récurrence en logique équationnelle | |
Évaluation paresseuse des filtrages avec priorité, application au langage ML... | |
Expressivité des logiques d'espace | |
Formal verification of distributed systems written in Unity using theorem prover. | |
Generalisation and formalisation in game theory | |
Génération et tracé de structures décomposables | |
La grève du Dakar-Niger (août-décembre 1938) : ma visite aux Archives nationales de l'Outre-Mer et ailleurs | |
Higher order unification and explicit substitutions : a simple approach. | |
Hütte | |
INTERPRETATION DE L'ANALYSE STATIQUE EN THEORIE DES TYPES | |
Modèles de la bêta-réduction pour les implantations | |
Modélisation et manipulation des surfaces triangulées | |
MODELS OF -REDUCTION FOR THE IMPLEMENTATIONS. | |
On the expressiveness of spatial logic. | |
Optimisation de programmes par reconnaissance de templates | |
Outils, travaux et propositions pour le décodage acoustico-phonétique | |
Preservation of termination for explicit substitution | |
Preuves de terminaison des systèmes de réécriture associatifs commutatifs : Une méthode fondée sur la réécriture elle-même | |
Program optimization by Template recognition and replacement . | |
Ressources limitées pour la mobilité : utilisation, réutilisation, garanties | |
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987 ; proceedings | |
RTA-87 | |
Study and implementation of inductif proof methods in equational logic. | |
Systèmes de types purs et substitutions explicites | |
Terminaison par complétion = Termination by completion | |
Termination of rewriting systems by polynomial interpretations and its implementation | |
Termination proof for associative commutative rewriting systems : a method bared on the rewriting int-elf. | |
Théorie des programmes : schémas, preuves, sémantique | |
Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes | |
Tools, works and proposals for acoustic-phonetic decoding. | |
Types for object-oriented and functional programming languages. | |
Types pour des langages de programmation orientée d'objet et fonctionnelle | |
Up-to techniques for bisimulation. | |
Utilisation des systèmes de réécriture d'expressions fonctionnelles comme outils de transformation de programmes itératifs | |
Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique | |
Verification methods for digital circuits. | |
Well rewrite orderings and well quasi-orderings |