List of bibliographic references indexed by Proof theory
Number of relevant bibliographic references: 37.
[0-20] [
0 - 20][
0 - 37][
20-36][
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 |
| 002D97 (2010-03-12) |
Clément Houtmann [France] | Representation and interaction of proofs in superdeduction modulo |
| 003172 (2010) |
Joris Rehm [France] | Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method |
| 003665 (2009-03-23) |
Guillaume Burel [France] | Good proofs in deduction modulo |
| 003995 (2009) |
Guillaume Burel | Automating Theories in Intuitionistic Logic |
| 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 |
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/KwdEn.i -k "Proof theory"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i \
-Sk "Proof theory" \
| 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= KwdEn.i
|clé= Proof theory
}}
| 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 |  |
