List of bibliographic references indexed by Théorie preuve
Number of relevant bibliographic references: 32.
[0-20] [
0 - 20][
0 - 32][
20-31][
20-40]
Ident. | Authors (with country if any) | Title |
---|
001674 (2013) |
Didier Galmiche [France] ; Daniel Méry [France] | A Connection-based Characterization of Bi-intuitionistic Validity |
002802 (2011) |
Didier Galmiche [France] ; Yakoub Salhi [France] | Sequent calculi and decidability for intuitionistic hybrid logic |
002813 (2011) |
Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne] | Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION |
003172 (2010) |
Joris Rehm [France] | Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method |
004443 (2008) |
BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France] | Modélisation événementielle pour la construction de diagrammes de classes |
005366 (2006) |
Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France] | The Twist-AUgmented Technique for Key Exchange |
005599 (2006) |
Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France] | Integration of security policy into system modeling |
005613 (2006) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies |
005614 (2006) |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures |
006222 (2005) |
Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie] | On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal |
006226 (2005) |
François Lamarche [France] ; Lutz Stra Burger [Allemagne] | Naming Proofs in Classical Propositional Logic |
006263 (2005) |
Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie] | Efficient Satisfiability Modulo Theories via Delayed Theory Combination |
006C48 (2004) |
David Déharbe [Brésil] ; Abdessamad Imine [France] ; Silvio Ranise [France] | Abstraction-Driven Verification of Array Programs |
006C64 (2004) |
Damien Stehlé [France] ; Paul Zimmermann [France] | A Binary Recursive Gcd Algorithm |
007A89 (2003) |
Jean-Raymond Abrial [France] ; Dominique Cansell [France] | Click’n Prove: Interactive Proofs within Set Theory |
007B57 (2003) |
Lutz Strassburger [France] | MELL in the calculus of structures |
007B60 (2003) |
Dominique Cansell [France] ; Dominique Méry [France] | Foundations of the B method |
007B76 (2003) |
Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France] | A rewriting approach to satisfiability procedures |
008815 (2002) |
Eric Deplagne [France] ; Claude Kirchner [France] | Deduction versus Computation: The Case of Induction |
008900 (2002) |
Philippe De Groote [France] | On the strong normalisation of intuitionistic natural deduction with permutation-conversions |
009291 (2001) |
D. Larchey-Wendling [France] ; D. Méry [France] ; Didier Galmiche [France] | STRIP: Structural Sharing for Efficient Proof-Search |
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/PascalFr.i -k "Théorie preuve"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/PascalFr.i \
-Sk "Théorie preuve" \
| 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= PascalFr.i
|clé= Théorie preuve
}}
| 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 | |