ISSN
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « ISSN » - entrée « 1573-0670 »
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.
1573-0638 < 1573-0670 < 1573-0697  Facettes :

List of bibliographic references indexed by 1573-0670

Number of relevant bibliographic references: 44.
[0-20] [0 - 20][0 - 44][20-40]
Ident.Authors (with country if any)Title
001674 (2013) Didier Galmiche [France] ; Daniel Méry [France]A Connection-based Characterization of Bi-intuitionistic Validity
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
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
006284 (2005) Calogero G. Zarba [France]Combining Sets with Cardinals
006290 (2005) Chuck Liang [États-Unis] ; Gopalan Nadathur [États-Unis] ; Xiaochu Qi [États-Unis]Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts
006302 (2005) Alessandro Armando [Italie] ; David Basin [Suisse] ; Jorge Cuellar [Allemagne] ; Michaël Rusinowitch [France] ; Luca Vigan [Suisse]Automated Reasoning for Security Protocol Analysis
006318 (2005) Domenico Cantone [Italie] ; Calogero G. Zarba [France] ; Rosa Ruggeri Cannata [Belgique]A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership

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 "1573-0670" 

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