ISSN
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « ISSN » - entrée « 0168-7433 »
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.
0168-6054 < 0168-7433 < 0168-8227  Facettes :

List of bibliographic references indexed by 0168-7433

Number of relevant bibliographic references: 49.
[0-20] [0 - 20][0 - 49][20-40]
Ident.Authors (with country if any)Title
000106 (2016) Jasmin Christian Blanchette [France] ; Sascha Böhme [Allemagne] ; Mathias Fleury [France] ; Steffen Juilf Smolka [États-Unis] ; Albert Steckermeier [Allemagne]Semi-intelligible Isar Proofs from Machine-Generated Proofs
001674 (2013) Didier Galmiche [France] ; Daniel Méry [France]A Connection-based Characterization of Bi-intuitionistic Validity
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
001E16 (2012) Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon]Multi-Completion with Termination Tools
002647 (2011) Carsten Fuhs [Allemagne] ; Jürgen Giesl [Allemagne] ; Michael Parting [Allemagne] ; Peter Schneider-Kamp [Danemark] ; Stephan Swiderski [Allemagne]Proving Termination by Dependency Pairs and Inductive Theorem Proving
002660 (2011) Kristoffer H. Rose [États-Unis] ; Roel Bloo [Pays-Bas] ; Frédéric Lang [France]On Explicit Substitution with Names
002E27 (2010-02-01) Carlos Areces [France] ; Daniel Gorin [France]Resolution with Order and Selection for Hybrid Logics
003002 (2010) Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo Homomorphic Encryption
003030 (2010) Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche]SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs
003094 (2010) Yannick Chevalier [France] ; Michaël Rusinowitch [France]Decidability of Equivalence of Symbolic Derivations
003095 (2010) Véronique Cortier [France] ; Stéphanie Delaune [France]Decidability and Combination Results for Two Notions of Knowledge in Security Protocols
003127 (2010) Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
003142 (2010) Daniele Zucchelli [Italie] ; Enrica Nicolini [France]A Decidability Result for the Model Checking of Infinite-State Systems
004B98 (2007) Bernhard Beckert [Allemagne] ; Lawrence C. Paulson [Royaume-Uni]Preface
004C57 (2007) Barbara Morawska [Allemagne]General E -unification with Eager Variable Elimination and a Nice Cycle Rule
005379 (2006) H. Zantema [Pays-Bas]Termination of String Rewriting Proved Automatically
005446 (2006) Evelyne Contejean [France] ; Claude Marché [France] ; Ana Paula Tomás [Portugal] ; Xavier Urbain [France]Mechanically Proving Termination Using Polynomial Interpretations
005475 (2006) Dominique Larchey-Wendling [France]Graph-based Decision for Gödel-Dummett Logics
005522 (2006) Cesare Tinelli [États-Unis] ; Calogero G. Zarba [États-Unis]Combining Nonstably Infinite Theories
006210 (2005) Deepak Kapur [États-Unis] ; Laurent Vigneron [France]Preface

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/ISSN.i -k "0168-7433" 

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