Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

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

Index « Titre (en) » - entrée « theorem »
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.
theme < theorem < theorema  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]
Ident.Authors (with country if any)Title
000083 (2013) Stefan Hetzl [Autriche] ; Tomer Libal [France] ; Martin Riener [Autriche] ; Mikheil Rukhaia [France]Understanding Resolution Proofs through Herbrand’s Theorem
000299 (2013) Jean Goubault-Larrecq [France]A Constructive Proof of the Topological Kruskal Theorem
000547 (2011) Carsten Fuhs [Allemagne] ; Jürgen Giesl [Allemagne] ; Michael Parting [Allemagne] ; Peter Schneider-Kamp [Danemark] ; Stephan Swiderski [Allemagne]Proving Termination by Dependency Pairs and Inductive Theorem Proving
000B32 (2009) Mouna Chaouch-Saad [Tunisie] ; Bernadette Charron-Bost [France] ; Stephan Merz [France]A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
001089 (2007) Abdessamad Imine [France] ; Michaël Rusinowitch [France]Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
001718 (2004) Ewen Denney ; Bernd Fischer ; Johann SchumannUsing Automated Theorem Provers to Certify Auto-generated Aerospace Software
001820 (2004) Daniel Winterstein ; Alan Bundy ; Corin GurrDr.Doodle: A Diagrammatic Theorem Prover
001971 (2003) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Theorem Proving Modulo
001A08 (2003) W. Reisig [États-Unis]On Gurevich's theorem on sequential algorithms
002115 (2000) Miquel Bofill [Espagne] ; Guillem Godoy [Espagne] ; Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne]Modular Redundancy for Theorem Proving
002176 (2000) Tomás E. Uribe [États-Unis]Combinations of Model Checking and Theorem Proving
002396 (1999) Laurent Juban [France]Dichotomy theorem for the generalized unique satisfiability problem
002632 (1998) D. Lugiez [France]A good class of tree automata. Application to inductive theorem proving
002804 (1997) Adel Bouhoula [États-Unis]Automated Theorem Proving by Test Set Induction
002D48 (1994) Amos Nevo [États-Unis] ; Elias M. Stein [États-Unis]A generalization of Birkhoff's pointwise ergodic theorem
002E12 (1993) Philippe Groote [France]The conservation theorem revisited
002E17 (1993) Régis Curien [France]Second order E-matching as a tool for automated theorem proving
002F83 (1992) Adel Bouhoula [France] ; Emmanuel Kounalis [France] ; Michaël Rusinowitch [France]SPIKE, an automatic theorem prover
003020 (1992) I. Gnaedig [France]ELIOS-OBJ theorem proving in a specification language
003147 (1991) Y. Sun ; M. Haton ; B. DevinChemInform Abstract: Intergrating Theorem Proving and Partial Evaluation Techniques for Organic Synthesis and Teaching
003321 (1989) Tobias Nipkow [Royaume-Uni]Term rewriting and beyond — theorem proving in Isabelle

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "theorem" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "theorem" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    theorem
}}
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