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

Index « Titre (en) » - entrée « algebras »
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.
algebraic < algebras < algerian  Facettes :

List of bibliographic references indexed by algebras

Number of relevant bibliographic references: 52.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000166 (2016) Guillaume Bonfante [France] ; Reinhard Kahle [France] ; Jean-Yves Marion [France] ; Isabel Oitavem [France]Two function algebras defining functions in NC k boolean circuits
000364 (2015-08-31) Marco Gaboardi [France] ; Romain Péchoux [France]Algebras and Coalgebras in the Light Affine Lambda Calculus
000391 (2015-08-22) Miguel Couceiro [France] ; Gerasimos Meletiou [Grèce]On a special class of median algebras
000396 (2015-08-19) Miguel Couceiro [France] ; Stephan Foldes [France] ; Gerasimos Meletiou [Grèce]Arrow Type Impossibility Theorems over Median Algebras
000541 (2015-05-13) Miguel Couceiro [France] ; Jean-Luc Marichal [Luxembourg (pays)] ; Bruno Teheux [Luxembourg (pays)]Conservative Median Algebras and Semilattices
000707 (2015) René Schott [France] ; G. Stacey Staples [États-Unis]Generalized Zeon Algebras: Theory and Application to Multi-Constrained Path Problems
000966 (2014-09-01) Dominique Larchey-Wendling [France] ; Didier Galmiche [France]Looking at Separation Algebras with Boolean BI-eyes
000E79 (2014) Miguel Couceiro [France] ; Jean-Luc Marichal [Luxembourg (pays)] ; Bruno Teheux [Luxembourg (pays)]Conservative median algebras
001086 (2013-08-03) Valmi Dufour-Lussier [France] ; Florence Le Ber [France] ; Jean Lieber [France] ; Laura Martin [France]Case Adaptation with Qualitative Algebras
001478 (2013) Christoph Röthlisberger [Suisse]TAFA – A Tool for Admissibility in Finite Algebras
002213 (2011-07-26) François Lamarche [France] ; Novak Novakovic [France]Frobenius Algebras and Classical Proof Nets
002E77 (2010) René Schott [France] ; Stacey Staples [États-Unis]Reductions in computational complexity using Clifford algebras
003088 (2010) R. Schott [France] ; G. S. Staples [États-Unis]Dynamic random walks in Clifford algebras
003233 (2010) René Schott [France] ; G. Stacey Staples [États-Unis]Operator cohomology and cohomology in Clifford algebras
003252 (2010) René Schott [France] ; Stacey Staples [États-Unis]Dynamic random walks on Clifford algebras
003667 (2009-03-23) Walid Gomaa [France]Analog Computation and Function Algebras
004160 (2008) René Schott [France] ; G. Stacey Staples [États-Unis]Partitions and Clifford algebras
004324 (2008) René Schott [France] ; G. Stacey Staples [États-Unis]Reductions in Computational Complexity Using Clifford Algebras
004531 (2008) René Schott [France] ; Stacey Staples [États-Unis]Random Walks on Clifford Algebras as Directed Hypercubes
005611 (2006) TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis]Decision procedures for term algebras with integer constraints
006C34 (2004) Simon Colton [Royaume-Uni] ; Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Roy Mccasland [Royaume-Uni]Automatic Generation of Classification Theorems for Finite Algebras

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

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