PascalFr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « PascalFr.i » - entrée « Démonstration théorème »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Démonstration système < Démonstration théorème < Dénombrement  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 39.
[20-40] [0 - 20][0 - 39]
Ident.Authors (with country if any)Title
000886 (2001) D. Larchey-Wendling [France] ; D. Mery [France] ; Didier Galmiche [France]STRIP : Structural sharing for efficient proof-search
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
000925 (2001) Jürgen Stuber [France]A model-based completeness proof of extended narrowing and Resolution
000A05 (2000) I. Cervesato [États-Unis] ; J. S. Hodas [États-Unis] ; F. Pfenning [États-Unis]Efficient resource management for linear logic proof search
000A63 (1999) P. De Groote [France]The non-associative Lambek calculus with product in polynomial time
000B30 (1998) E. Monfroy [Pays-Bas] ; C. Ringeissen [France]SoleX : A domain-independent scheme for constraint solver extension
000B37 (1998) E. A. Cichon [France] ; E. T. Bittar [France]Ordinal recursive bounds for Higman's theorem
000B49 (1998) C. Lynch [France]Local simplification
000B62 (1998) C. Lynch [États-Unis] ; C. Scharff [France]Basic Completion with E-cycle Simplification
000C47 (1997) L. Alonso [France] ; J. L. Remy [France] ; R. Schott [France]A linear-time algorithm for the generation of trees
000C73 (1996) A. Bouhoula [France]Using induction and rewriting to verify and complete parameterized specifications
000C79 (1996) L. Vigneron [France] ; A. Wasilewska [États-Unis]Rough and modal algebras
000D04 (1996) N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowtich [France]Automated verification by induction with associative-commutative operators
000D07 (1996) B. Heyd [France] ; P. Gregut [France]A modular coding of UNITY in COQ
000D62 (1991) M. Rusinowitch [France]Theorem-proving with resolution and superposition
000D65 (1991) M. Hermann ; C. Kirchner ; H. KirchnerImplementations of term rewriting systems
000D66 (1991) N. Doggaz ; C. KirchnerCompletion for unification
000D71 (1990) YUDONG SUN [France] ; M.-C. Haton ; B. DevinIntegrating theorem proving and partial evaluation techniques for organic synthesis and teaching

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/PascalFr.i -k "Démonstration théorème" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/PascalFr.i  \
                -Sk "Démonstration théorème" \
         | 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=    PascalFr.i
   |clé=    Démonstration théorème
}}
Wicri

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