Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « proving »
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.
province < proving < provision  Facettes :

List of bibliographic references indexed by proving

Number of relevant bibliographic references: 108.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000A66 (2014-07) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Finite Quantification in Hierarchic Theorem Proving
000D04 (2014-01-09) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Proving the Fidelity of Simulations of Event-B Models
001150 (2013-06-24) Małgorzata Biernacka ; Dariusz Biernacki ; Sergueï Lenglet [France] ; Marek MaterzokProving termination of evaluation for System F with control operators
001F96 (2011-11-20) Mohamed Tounsi [France] ; Mohamed Mosbah [France] ; Dominique Méry [France]Proving Distributed Algorithms by Combining Refinement and Local Computations
002647 (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
002805 (2011) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak properties of rewriting
002A67 (2010-09-21) Dominique Méry [France] ; Mohammed Mosbah [France] ; Mohammed Tounsi [France]Proving Distributed Algorithms by Combining Refinement and Local Computations
002B57 (2010-07-29) Alain Giorgetti [France]Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System
003112 (2010) Andreas Schnabl [Autriche]Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems
003374 (2009-10) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Specifying and Proving a Sorting Algorithm
003488 (2009-07-08) Véronique Cortier [France] ; Stéphanie Delaune [France]A method for proving observational equivalence
003690 (2009-02-16) Mohamed Tounsi [France] ; Ahmed Hadj Kacem ; Mohamed Mosbah [France] ; Dominique Méry [France]A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems
003C48 (2009) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak properties of rewriting
004638 (2007-11-29) Dmitry Sustretov [France] ; Guillaume Hoffmann [France] ; Carlos Areces [France] ; Patrick Blackburn [France]Experiments in Theorem Proving for Topological Hybrid Logic
004755 (2007-09) Laurent Théry [France] ; Guillaume Hanrot [France]Primality Proving with Elliptic Curves
004913 (2007-06) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
004B95 (2007) Peter Schneider-Kamp [Allemagne] ; René Thiemann [Allemagne] ; Elena Annov [Israël] ; Michael Codish [Israël] ; Jürgen Giesl [Allemagne]Proving Termination Using Recursive Path Orders and SAT Solving
004C20 (2007) Isabelle Gnaedig ; Hélène KirchnerNarrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
005041 (2006-08-12) Bournez Olivier [France] ; Garnier Florent [France]Proving Positive Almost Sure Termination Under Strategies
005232 (2006) Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]Proving Component Interoperability with B Refinement
005407 (2006) Olivier Bournez [France] ; Florent Garnier [France]Proving Positive Almost Sure Termination Under Strategies

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "proving" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "proving" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

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