Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Titre (en) » - entrée « calculus »
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.
calculs < calculus < calendar  Facettes :

List of bibliographic references indexed by calculus

Number of relevant bibliographic references: 219.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000364 (2015-08-31) Marco Gaboardi [France] ; Romain Péchoux [France]Algebras and Coalgebras in the Light Affine Lambda Calculus
000483 (2015-06-23) Nefzi Bilel [France] ; Schott René [France] ; Ye-Qiong Song [France] ; G. Stacey Staples [États-Unis] ; Evangelia Tsiontsiou [France]An Operator Calculus Approach for Multi-constrained Routing in Wireless Sensor Networks
000503 (2015-06-08) Simon Perdrix [France] ; Quanlong Wang [France]The ZX Calculus is incomplete for Clifford+T quantum mechanics
000693 (2015) Jannik Dreier [France] ; Cristian Ene [France] ; Pascal Lafourcade [France] ; Yassine Lakhnech [France]On the existence and decidability of unique decompositions of processes in the applied π-calculus
000793 (2015) Philippe De Groote [France]Proof-Theoretic Aspects of the Lambek-Grishin Calculus
000794 (2015) Jamila Ben Slimane [Tunisie] ; Schott René [France] ; Yeqiong Song [France] ; G. Stacey Staples [États-Unis] ; Evangelia Tsiontsiou [France] ; Ye-Qiong Song [France]Operator Calculus Algorithms for Multi-Constrained Paths
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
000B04 (2014-06-16) Nassim Kaldé [France] ; Olivier Simonin [France]Discrete Voronoi-like Partition of a Mesh on a Cellular Automaton in Asynchronous Calculus
000B05 (2014-06-12) Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France]Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus
000D19 (2014-01) Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France]Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus
000E31 (2014) Jean-Charles Faugere [France] ; Pierrick Gaudry [France] ; Louise Huot [France] ; Guénaël Renault [France]Using Symmetries in the Index Calculus for Elliptic Curves Discrete Logarithm
000E88 (2014) Philippe Balbiani [France] ; Vincent Demange [France] ; Didier Galmiche [France]A sequent calculus with labels for Public Announcement Logic
001047 (2013-08-29) Romain Péchoux [France]Bounding Reactions in the Pi-calculus using Interpretations
001134 (2013-07) Etienne Mabille [France] ; Marc Boyer [France] ; Loic Féjoz [France] ; Stephan Merz [France]Certifying Network Calculus in a Proof Assistant
001153 (2013-06-23) Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
001232 (2013-05-02) Jean-Charles Faugère [France] ; Pierrick Gaudry [France] ; Louise Huot [France] ; Guénaël Renault [France]Using Symmetries in the Index Calculus for Elliptic Curves Discrete Logarithm
001464 (2013) Etienne Mabille [France] ; Marc Boyer [France] ; Loïc Fejoz [France] ; Stephan Merz [France]Towards Certifying Network Calculus
001508 (2013) Stéphane Graham-Lengrand [France]Psyche : A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture
001661 (2013) Mohammad Khodadadi [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni] ; Dmitry Tishkovsky [Royaume-Uni]A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$
001662 (2013) Tom Gundersen [France, Norvège] ; Willem Heijltjes [Royaume-Uni] ; Michel Parigot [France]A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus
001668 (2013) Zhé H U [Australie] ; Alwen Tiu [Australie] ; Rajeev Goré [Australie]A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

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

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