AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AbsEn.i » - entrée « proof »
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.
prony < proof < proofed  Facettes :

List of bibliographic references indexed by proof

Number of relevant bibliographic references: 1153.
[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
000109 (2016) Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Refinement-based Validation of Event-B Specifications
000180 (2015-12-18) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France]Incremental Proof-Based Development for Resilient Distributed Systems
000182 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000186 (2015-12-16) Stephan Merz [France] ; Hernán Vanzetto [France]Encoding TLA+ set theory into many-sorted first-order logic
000271 (2015-10-20) Manamiary Bruno Andriamiarina [France]Developing correct-by-construction distributed algorithms
000293 (2015-10-05) Dmitry Sokolov [France] ; Nicolas Ray [France] ; Lionel Untereiner [France] ; Bruno Lévy [France]Hexahedral-dominant meshing
000318 (2015-09-21) Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Rewriting Approach to the Combination of Data Structures with Bridging Theories
000352 (2015-09-01) Sergueï Lenglet [France] ; Alan Schmitt [France]Howe's Method for Contextual Semantics
000361 (2015-08-31) Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne]Foundational Extensible Corecursion: A Proof Assistant Perspective
000364 (2015-08-31) Marco Gaboardi [France] ; Romain Péchoux [France]Algebras and Coalgebras in the Light Affine Lambda Calculus
000403 (2015-08-14) Miguel Couceiro [France] ; Lucien Haddad [Canada] ; Karsten Schölzel [Luxembourg (pays)] ; Tamas Waldhauser [Hongrie]On the interval of strong partial clones of Boolean functions containing Pol({(0,0),(0,1),(1,0)})
000408 (2015-08-10) Gilles-Philippe Paillé [Canada] ; Nicolas Ray [France] ; Pierre Poulin [Canada] ; Alla Sheffer [Canada] ; Bruno Lévy [France]Dihedral angle-based maps of tetrahedral meshes
000424 (2015-08) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Beagle – A Hierarchic Superposition Prover
000446 (2015-07-13) Jasmin Christian Blanchette [France] ; Maximilian Haslbeck [Allemagne] ; Daniel Matichuk [France] ; Tobias Nipkow [Allemagne]Mining the Archive of Formal Proofs
000465 (2015-06-30) Benjamin Camus [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]Considering a Multi-Level Model as a Society of Interacting Models: Application to a Collective Motion Example
000519 (2015-06) Sergueï Lenglet [France] ; Alan Schmitt [France]Howe's Method for Contextual Semantics
000528 (2015-05-26) Mihai Andries [France] ; François Charpillet [France] ; Olivier Simonin [France]High resolution pressure sensing using sub-pixel shifts on low resolution load-sensing tiles
000558 (2015-05) David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; David Galindo [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni]A comprehensive analysis of game-based ballot privacy definitions
000567 (2015-04-22) Emmanuel Jeandel [France]Enumeration in Closure Spaces with Applications to Algebra
000581 (2015-04-15) Jean-René Courtault [France]Dynamic Resource Logics : Models, Properties and Proofs

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/AbsEn.i -k "proof" 

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