HalJournal.i
Corpus
Hal
Racine
Corpus
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

Index « HalJournal.i » - entrée « ACM Transactions on Computational Logic »
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.
ACM Transactions on Autonomous and Adaptive Systems < ACM Transactions on Computational Logic < ACM Transactions on Embedded Computing Systems (TECS)  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
000615 (2008) Silvio Ghilardi ; Enrica Nicolini ; Daniele ZucchelliA comprehensive combination framework
000D09 (2012) Marco Gaboardi ; Jean-Yves Marion ; Simona Ronchi Della RoccaAn Implicit Characterization of PSPACE
001091 (2016) Rohit Chadha ; Vincent Cheval ; Tefan Ciobâc ; Steve KremerAutomated verification of equivalence properties of cryptographic protocols
001705 (2008) Yannick Chevalier ; Ralf Kuesters ; Michael Rusinowitch ; Mathieu TuruaniComplexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
001B06 (2010) Hubert Comon-Lundh ; Véronique Cortier ; Eugen ZalinescuDeciding security properties for cryptographic protocols. Application to key cycles.
001B08 (2003) Hubert Comon-Lundh ; Paliath Narendran ; Robert Nieuwenhuis ; Michaël RusinowitchDeciding the Confluence of Ordered Term Rewrite Systems
002470 (2015-11) Rémy Chrétien ; Véronique Cortier ; Stéphanie DelauneFrom Security Protocols to Pushdown Automata
003585 (2009) Alessandro Armando ; Maria Paola Bonacina ; Silvio Ranise ; Stephan SchulzNew results on rewrite-based satisfiability procedures
003611 (2013-02) Dominique Larchey-Wendling ; Didier GalmicheNondeterministic Phase Semantics and the Undecidability of Boolean BI
003791 (2009-02-01) Paola Bruscoli ; Alessio GuglielmiOn the Proof Complexity of Deep Inference
004903 (2009) Jean-Yves Marion ; Romain PéchouxSup-interpretations, a semantic method for static analysis of program resources
004A52 (2009) Isabelle Gnaedig ; Hélène KirchnerTermination of Rewriting under Strategies
004A55 (2006) Isabelle Gnaedig ; Hélène KirchnerTermination of rewriting under strategies: a generic approach
005435 (2013) Mathieu Baudet ; Véronique Cortier ; Stéphanie DelauneYAPA: A generic tool for computing intruder knowledge

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalJournal.i -k "ACM Transactions on Computational Logic" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalJournal.i  \
                -Sk "ACM Transactions on Computational Logic" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalJournal.i
   |clé=    ACM Transactions on Computational Logic
}}
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