proofnets < proofs < propa

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 proofs

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

Ident.	Authors (with country if any)	Title
000106 (2016)	Jasmin Christian Blanchette [France] ; Sascha Böhme [Allemagne] ; Mathias Fleury [France] ; Steffen Juilf Smolka [États-Unis] ; Albert Steckermeier [Allemagne]	Semi-intelligible Isar Proofs from Machine-Generated Proofs
000446 (2015-07-13)	Jasmin Christian Blanchette [France] ; Maximilian Haslbeck [Allemagne] ; Daniel Matichuk [France] ; Tobias Nipkow [Allemagne]	Mining the Archive of Formal Proofs
000581 (2015-04-15)	Jean-René Courtault [France]	Dynamic Resource Logics : Models, Properties and Proofs
000642 (2015-01-29)	Guillaume Scerri [France]	Proofs of security protocols revisited
000A33 (2014-07-18)	Clark Barrett [États-Unis] ; Leonardo De Moura [États-Unis] ; Pascal Fontaine [France]	Proofs in satisfiability modulo theories
001457 (2013)	Stefan Hetzl [Autriche] ; Tomer Libal [France] ; Martin Riener [Autriche] ; Mikheil Rukhaia [France]	Understanding Resolution Proofs through Herbrand’s Theorem
001515 (2013)	Hidenori Kurokawa [Japon]	Prefixed Tableau Systems for Logic of Proofs and Provability
001524 (2013)	Sara Negri [Finlande]	On the Duality of Proofs and Countermodels in Labelled Sequent Calculi
001617 (2013)	Joseph Boudou [France, Niger] ; Bruno Woltzenlogel Paleo [Autriche]	Compression of Propositional Resolution Proofs by Lowering Subproofs
001630 (2013)	Nick Bezhanishvili [Pays-Bas] ; Silvio Ghilardi [Italie]	Bounded Proofs and Step Frames
001F67 (2011-12-07)	Sorin Stratulat [France] ; Vincent Demange [France]	Automated Certification of Implicit Induction Proofs
002A27 (2010-10-11)	Sorin Stratulat [France]	Integrating Implicit Induction Proofs into Certified Proof Environments
002C09 (2010-06-30)	Bruno Woltzenlogel Paleo [France] ; Ekaterina Lebedeva [France]	Using Proofs to Compute Implicatures [Abstract]
002D97 (2010-03-12)	Clément Houtmann [France]	Representation and interaction of proofs in superdeduction modulo
003030 (2010)	Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche]	SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs
003065 (2010)	Sorin Stratulat [France]	Integrating Implicit Induction Proofs into Certified Proof Environments
003222 (2010)	Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Joseph Vidal-Rosset [France]	Some Remarks on Relations between Proofs and Games
003317 (2009-11-27)	Christophe Ringeissen [France]	Equational reasoning and combination methods: from programs to proofs
003469 (2009-07-20)	François Lamarche [France] ; Novak Novakovic [France]	Two Denotational Interpretations of Proofs in Classical Logic
003479 (2009-07-16)	Dominique Larchey-Wendling [France]	Labelled Tableaux for Proofs and Models in BI logics
003665 (2009-03-23)	Guillaume Burel [France]	Good proofs in 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 "proofs" 

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

---

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