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.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
000581 (2015-04-15) Jean-René Courtault [France]Dynamic Resource Logics : Models, Properties and Proofs
000582 (2015-04-14) Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne]Witnessing (Co)datatypes
000588 (2015-04-12) Benjamin Camus [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]Combining DEVS with Multi-agent Concepts to Design and Simulate Multi-models of Complex Systems (WIP)
000596 (2015-04) Vincent Cheval [France] ; Véronique Cortier [France]Timing attacks in security protocols: symbolic framework and proof techniques
000635 (2015-02-11) Bart Lamiroy [France] ; Thomas Bouville [France] ; Julien Blégean [France] ; Hongliu Cao [France] ; Salah Ghamizi [France] ; Romain Houpin [France] ; Matthias Lloyd [France]Re-Typograph Phase I: a Proof-of-Concept for Typeface Parameter Extraction from Historical Documents
000651 (2015-01-15) Benjamin Camus [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]Combining DEVS with Multi-agent Concepts to Design and Simulate Multi-models of Complex Systems
000660 (2015-01-05) Karn Yongsiriwit [France] ; Chan Nguyen [France] ; Walid Gaaloul [France]Log-Based Process Fragment Querying to Support Process Desig
000757 (2015) Cordula Schwappach [Allemagne] ; Axel Hutt [France] ; Peter Beim Graben [Allemagne]Metastable dynamics in heterogeneous neural fields
000793 (2015) Philippe De Groote [France]Proof-Theoretic Aspects of the Lambek-Grishin Calculus
000840 (2014-12-09) Ali Assaf [France] ; Alejandro Díaz-Caro [Argentine] ; Simon Perdrix [France] ; Christine Tasson [France] ; Benoît Valiron [France]Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
000844 (2014-12-08) Hernán Vanzetto [France]Proof automation and type synthesis for set theory in the context of TLA+
000875 (2014-11-21) Cyrille Wiedling [France]Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs
000910 (2014-10-08) Yamine Aït Ameur [France] ; J. Paul Gibson [France] ; Dominique Méry [France]On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
000922 (2014-09-29) Roland Badeau [France] ; Antoine Liutkus [France]Proof of Wiener-like linear regression of isotropic complex symmetric alpha-stable random variables
000928 (2014-09-24) Dominique Méry [France]Playing with State-Based Models for Designing Better Algorithms
000966 (2014-09-01) Dominique Larchey-Wendling [France] ; Didier Galmiche [France]Looking at Separation Algebras with Boolean BI-eyes
000A22 (2014-07-23) Jean-Charles Faugère [France] ; Pierre-Jean Spaenlehauer [France] ; Jules Svartz [France]Sparse Gröbner Bases: the Unmixed Case
000A25 (2014-07-22) Neeraj Kumar Singh [Canada] ; Dominique Méry [France]Event B (english version)
000A66 (2014-07) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Finite Quantification in Hierarchic Theorem Proving
000A98 (2014-06-18) Maxime Amblard [France] ; Christian Retoré [France]Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
000B18 (2014-06-02) Dominique Larchey-Wendling [France]The formal strong completeness of partial monoidal Boolean BI

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