deducibility < deduction < deductive

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by deduction

Number of relevant bibliographic references: 78.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000A98 (2014-06-18)	Maxime Amblard [France] ; Christian Retoré [France]	Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
000F48 (2013-11-04)	Florian Boehl [Allemagne] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni]	Deduction Soundness: Prove One, Get Five for Free
002003 (2011-11-14)	Laurent Vigneron [France]	Automated Deduction applied to the Analysis and Verification of Infinite State Systems
002655 (2011)	Olivier Gasquet [France] ; François Schwarzentruber [France] ; Martin Strecker [France]	Panda : A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students
002700 (2011)	Guillaume Burel [France]	Experimenting with Deduction Modulo
002E32 (2010-02)	Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France]	Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
002E86 (2010)	Didier Galmiche [France] ; Yakoub Salhi [France]	Label-free Natural Deduction Systems for Intuitionistic and Classical Modal Logics
003171 (2010)	Guillaume Burel [France] ; Claude Kirchner [France]	Regaining cut admissibility in deduction modulo using abstract completion
003665 (2009-03-23)	Guillaume Burel [France]	Good proofs in deduction modulo
004522 (2008)	Claude Kirchner [France] ; Florent Kirchner [France] ; Helene Kirchner [France]	Strategic Computation and Deduction
004598 (2008)	Duc-Khanh Tran [France] ; Christophe Ringeissen [France] ; Silvio Ranise [France] ; Hélène Kirchner [France]	Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
004661 (2007-11-08)	Eunyoung Kang [France]	Tool supported real-time system verification with combination of abstraction/deduction and model checking
004898 (2007-06-04)	Guillaume Burel [France] ; Claude Kirchner [France]	Cut Elimination in Deduction Modulo by Abstract Completion
004B56 (2007)	Guillaume Burel [France]	Unbounded Proof-Length Speed-Up in Deduction Modulo
004C95 (2007)	Silvio Ranise [France] ; Christelle Scharff [États-Unis]	Building Extended Canonizers by Graph-Based Deduction
004E56 (2007)	Paul Brauner [France] ; Gilles Dowek [France] ; Benjamin Wack [France]	Normalization in Supernatural deduction and in Deduction modulo
005844 (2005-11-29)	Eunyoung Kang [France]	Real-Time system verification techniques based on abstraction/deduction and model checking
005883 (2005-10-07)	Benjamin Wack [France]	Type systems and deduction in the rewriting calculus
005D89 (2005)	Eunyoung Kang	Real-Time system verification techniques based on abstraction/deduction and model checking
006B15 (2004)	Leonardo De Moura [États-Unis] ; Sam Owre [États-Unis] ; Harald Rue [États-Unis] ; John Rushby [États-Unis] ; Natarajan Shankar [États-Unis]	The ICS Decision Procedures for Embedded Deduction
006B19 (2004)	Richard Bonichon [France]	TaMeD: A Tableau Method for Deduction Modulo

---

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 "deduction" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "deduction" \
         | 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é=    deduction
}}

---

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