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 « type »
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.
tying < type < typeclass  Facettes :

List of bibliographic references indexed by type

Number of relevant bibliographic references: 128.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000396 (2015-08-19) Miguel Couceiro [France] ; Stephan Foldes [France] ; Gerasimos Meletiou [Grèce]Arrow Type Impossibility Theorems over Median Algebras
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
000644 (2015-01-27) Emmanuel Jeandel [France]Aperiodic Subshifts of Finite Type on Groups
000747 (2015) N. Girerd [France] ; F. Zannad [France] ; P. Rossignol [France]Review of heart failure treatment in type 2 diabetes patients: It's at least as effective as in non-diabetic patients!
000783 (2015) Dominique Colnet [France] ; Benoît Sonntag [France]Exploiting array manipulation habits to optimize garbage collection and type flow analysis
000844 (2014-12-08) Hernán Vanzetto [France]Proof automation and type synthesis for set theory in the context of TLA+
000873 (2014-11-22) Philippe De Groote [France] ; Yoad Winter [France]A type-logical account of quantification in event semantics
000894 (2014-11) Laurence Danlos [France] ; Philippe De Groote [France] ; Sylvain Pogodalla [France]A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars
000C08 (2014-04-11) David Cattanéo [France] ; Simon Perdrix [France]The Parameterized Complexity of Domination-type Problems and Application to Linear Codes
000F92 (2013-10-14) Sylvain Pogodalla [France]Comments to Yao and Zou on: "Hybrid Categorial Type Logics and the Formal Treatment of Chinese"
001293 (2013-02-27) Emmanuel Jeandel [France] ; Pascal Vanier [Israël]Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type
001331 (2013-01-11) Emmanuel Hainry [France] ; Romain Péchoux [France]Type-based heap and stack space analysis in Java
001458 (2013) Emmanuel Hainry [France] ; Jean-Yves Marion [France] ; Romain Péchoux [France]Type-Based Complexity Analysis for Fork Processes
001536 (2013) Richard Dapoigny [France] ; Patrick Barlatier [France]Modeling Ontological Structures with Type Classes in Coq
001648 (2013) Flore Zufferey [France] ; Smaïl Hadj-Rabia [France] ; Annachiara De Sandre-Giovannoli [France] ; Jean-Louis Dufier [France] ; Bruno Leheup [France] ; Cyril Schweitze [France] ; Christine Bodemer [France] ; Valérie Cormier-Daire [France] ; Martine Le Merrer [France]Acro‐osteolysis, keloid like‐lesions, distinctive facial features, and overgrowth: Two newly recognized patients with premature aging syndrome, penttinen type
001B62 (2012-04-23) Emmanuel Jeandel [France] ; Pascal Vanier [France]Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type
001C17 (2012-03-02) Cláudia Tavares [France]A type system for embedded rewriting programming
001D11 (2012) A. Casini [Italie] ; R. Vaccaro [Italie] ; L. D'Este [Italie] ; Y. Sakaue [Japon] ; J. P. Bellier [Japon] ; H. Kimura [Japon] ; T. G. Renda [Italie]Immunolocalization of choline acetyltransferase of common type in the central brain mass of Octopus vulgaris
001F52 (2011-12-19) Chris Blom ; Philippe De Groote [France] ; Yoad Winter ; Joost ZwartsImplicit Arguments: Event Modification or Option Type Categories?
001F94 (2011-11-22) Cláudia Tavares [France]A type system for embedded rewriting languages with associative pattern matching: from theory to practice
002287 (2011-06-21) Jean-Yves Marion [France]A type system for complexity flow analysis

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

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