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 « Journal of Automated Reasoning »
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.
Journal of Automata Languages and Combinatorics < Journal of Automated Reasoning < Journal of Automated Software Engineering  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
000130 (2013) Didier Galmiche ; Daniel MeryA Connection-based Characterization of Bi-intuitionistic Validity
000153 (2010) Daniele Zucchelli ; Enrica NicoliniA Decidability Result for the Model Checking of Infinite-State Systems
000408 (2002) Yves Bertot ; Nicolas Magaud ; Paul ZimmermannA Proof of GMP Square Root
000510 (2011) Véronique Cortier ; Steve Kremer ; Bogdan WarinschiA Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems.
001738 (1999) Miki Hermann ; Phokion G. KolaitisComputational Complexity of Simultaneous Elementary Matching Problems
001788 (2012) Stefan Ciobaca ; Stéphanie Delaune ; Steve KremerComputing knowledge in security protocols under convergent equational theories
001A84 (2012) Véronique Cortier ; Stéphanie DelauneDecidability and combination results for two notions of knowledge in security protocols.
001A85 (2012) Yannick Chevalier ; Michael RusinowitchDecidability of Equivalence of Symbolic Derivations
002173 (2002) Quang-Huy Nguyen ; Claude Kirchner ; Hélène KirchnerExternal rewriting for skeptical proof assistants
002658 (2007) Dominique Larchey-WendlingGraph-based decision for Gödel-Dummett logics
004032 (2012) Steve Kremer ; Antoine Mercier ; Ralf TreinenReducing Equational Theories for the Decision of Static Equivalence
004155 (2010-02-01) Carlos Areces ; Daniel GorinResolution with Order and Selection for Hybrid Logics
004505 (2016) Jasmin Christian Blanchette ; Sascha Böhme ; Mathias Fleury ; Steffen Juilf Smolka ; Albert SteckermeierSemi-intelligible Isar Proofs from Machine-Generated Proofs
004D12 (2003) Gilles Dowek ; Thérèse Hardin ; Claude KirchnerTheorem Proving Modulo
005050 (2012) Siva Anantharaman ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael RusinowitchUnification modulo Homomorphic Encryption
005474 (2003) Leo Bachmair ; Ashish Tiwari ; Laurent VigneronAbstract Congruence Closure
006882 (2004) Siva Anantharaman ; Paliath Narendran ; Michaël RusinowitchUnification Modulo ACUI Plus Distributivity Axioms

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 "Journal of Automated Reasoning" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalJournal.i  \
                -Sk "Journal of Automated Reasoning" \
         | 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é=    Journal of Automated Reasoning
}}
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