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 « theorem »
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.
theor < theorem < theorema  Facettes :

List of bibliographic references indexed by theorem

Number of relevant bibliographic references: 544.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000001 (2016-07-19) Jean-Charles Faugere ; Pierre-Jean Spaenlehauer [France] ; Jules Svartz [France]Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems
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
000424 (2015-08) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Beagle – A Hierarchic Superposition Prover
000449 (2015-07-07) Miguel Couceiro [France] ; Jean-Luc Marichal [Luxembourg (pays)] ; Bruno Teheux [Luxembourg (pays)]Median preserving aggregation functions
000590 (2015-04-11) Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique]Type-Based Verification of Electronic Voting Protocols
000611 (2015-03-12) Mathieu Hoyrup [France]A Rice-like theorem for primitive recursive functions
000614 (2015-03-09) Emilie Balland [France] ; Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France]Bringing Strategic Rewriting into the Mainstream
000622 (2015-03) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France]A rule-based system for automatic decidability and combinability
000666 (2015-01) Stéphane Bessy [France] ; Daniel Gonçalves [France] ; Jean-Sébastien Sereni [France]Two floor building needing eight colors
000832 (2014-12-15) Fabien Lauer [France] ; Gérard Bloch [France]Piecewise smooth system identification in reproducing kernel Hilbert space
000844 (2014-12-08) Hernán Vanzetto [France]Proof automation and type synthesis for set theory in the context of TLA+
000A13 (2014-08) Damien Doligez [France] ; Jael Kriener [France] ; Leslie Lamport [États-Unis] ; Tomer Libal [France] ; Stephan Merz [France]Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
000A24 (2014-07-23) Damien Doligez [France] ; Jael Kriener [France] ; Leslie Lamport [États-Unis] ; Tomer Libal [France] ; Stephan Merz [France]Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
000A64 (2014-07) Daniel Wand [France]Polymorphic+Typeclass Superposition
000A66 (2014-07) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Finite Quantification in Hierarchic Theorem Proving
000C32 (2014-04) Florent Jouve [France] ; Jean-Sébastien Sereni [France]Sieving in graphs and explicit bounds for non-typical elements
000C52 (2014-03-05) Mathieu Hoyrup [France]Irreversible computable functions
000D58 (2014) Francis Comets [France] ; François Delarue [France] ; René Schott [France]Information Transmission under Random Emission Constraints
000F00 (2013-12-11) Peter Baumgartner [Australie] ; Uwe Waldmann [Allemagne]Hierarchic Superposition: Completeness without Compactness
001175 (2013-06-09) Peter Baumgartner [Australie] ; Uwe Waldmann [France]Hierarchic Superposition With Weak Abstraction
001176 (2013-06-09) Noran Azmy [Allemagne] ; Christoph Weidenbach [Allemagne]Computing Tiny Clause Normal Forms

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

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