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 « equational »
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.
equation < equational < equationnelle  Facettes :

List of bibliographic references indexed by equational

Number of relevant bibliographic references: 108.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000113 (2016) Jorge Almeida [Portugal] ; Miguel Couceiro [France] ; Tamas Waldhauser [Hongrie]On the topological semigroup of equational classes of finite functions under composition
000695 (2015) Miguel Couceiro [France] ; Erkko Lehtonen [Portugal] ; Tamas Waldhauser [Hongrie]On equational definability of function classes
000733 (2015) Miguel Couceiro [France] ; Erkko Lehtonen [Luxembourg (pays)] ; Karsten Schölzel [Luxembourg (pays)]A complete classification of equational classes of threshold functions included in clones
000D26 (2014) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
001222 (2013-05-22) Miguel Couceiro [France] ; Tamas Waldhauser [Hongrie] ; Jorge Almeida [Portugal]On the Semigroup of Equational Classes of Finite Functions
001C66 (2012) Steve Kremer [France] ; Antoine Mercier [France] ; Ralf Treinen [France]Reducing Equational Theories for the Decision of Static Equivalence
001C92 (2012) Stefan Ciobaca [France] ; Stéphanie Delaune [France] ; Steve Kremer [France]Computing knowledge in security protocols under convergent equational theories
003317 (2009-11-27) Christophe Ringeissen [France]Equational reasoning and combination methods: from programs to proofs
003889 (2009) Francisco Durán [Espagne] ; Salvador Lucas [Espagne] ; José Meseguer [États-Unis]Termination Modulo Combinations of Equational Theories
003B86 (2009) Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]Computationally sound implementations of equational theories against passive adversaries
004144 (2008) Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]Tree automata with equality constraints modulo equational theories
004717 (2007-10) Véronique Cortier [France] ; Stéphanie Delaune [France]Deciding knowledge in security protocols for monoidal equational theories.
004842 (2007-07) Véronique Cortier [France] ; Stéphanie Delaune [France]Deciding knowledge in security protocols for monoidal equational theories.
004C78 (2007) Sergiu Bursuc [France] ; Hubert Comon-Lundh [France] ; Stéphanie Delaune [France]Deducibility Constraints, Equational Theory and Electronic Money
004C80 (2007) Véronique Cortier [France] ; Stéphanie Delaune [France]Deciding Knowledge in Security Protocols for Monoidal Equational Theories
005261 (2006) Véronique Cortier [France] ; Martin Abadi [États-Unis]Deciding knowledge in security protocols under equational theories.
005355 (2006) Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]Tree Automata with Equality Constraints Modulo Equational Theories
005586 (2006) Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]Tree automata with equality constraints modulo equational theories
005612 (2006) Manin Abadi [États-Unis] ; Véronique Cortier [France]Deciding knowledge in security protocols under equational thoories
005977 (2005-07) Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]Computationally Sound Implementations of Equational Theories against Passive Adversaries
005A16 (2005-06) Martin Abadi ; Véronique Cortier [France]Deciding knowledge in security protocols under (many more) equational theories

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

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