1573-0638 < 1573-0670 < 1573-0697

Facettes : Author.f AffOrg.f AffPays.f AffRegion.f AffVille.f Teeft.f

List of bibliographic references

Number of relevant bibliographic references: 44.
[0-20] [0 - 20][0 - 44][20-40]

Ident.	Authors (with country if any)	Title
000300 (2013)	Didier Galmiche [France] ; Daniel Méry [France]	A Connection-based Characterization of Bi-intuitionistic Validity
000405 (2012)	Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon]	Multi-Completion with Termination Tools
000547 (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
000560 (2011)	Kristoffer H. Rose [États-Unis] ; Roel Bloo [Pays-Bas] ; Frédéric Lang [France]	On Explicit Substitution with Names
000764 (2010)	Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Unification Modulo Homomorphic Encryption
000792 (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
000856 (2010)	Yannick Chevalier [France] ; Michaël Rusinowitch [France]	Decidability of Equivalence of Symbolic Derivations
000857 (2010)	Véronique Cortier [France] ; Stéphanie Delaune [France]	Decidability and Combination Results for Two Notions of Knowledge in Security Protocols
000889 (2010)	Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]	A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
000904 (2010)	Daniele Zucchelli [Italie] ; Enrica Nicolini [France]	A Decidability Result for the Model Checking of Infinite-State Systems
000F83 (2007)	Bernhard Beckert [Allemagne] ; Lawrence C. Paulson [Royaume-Uni]	Preface
001042 (2007)	Barbara Morawska [Allemagne]	General E -unification with Eager Variable Elimination and a Nice Cycle Rule
001232 (2006)	H. Zantema [Pays-Bas]	Termination of String Rewriting Proved Automatically
001299 (2006)	Evelyne Contejean [France] ; Claude Marché [France] ; Ana Paula Tomás [Portugal] ; Xavier Urbain [France]	Mechanically Proving Termination Using Polynomial Interpretations
001328 (2006)	Dominique Larchey-Wendling [France]	Graph-based Decision for Gödel-Dummett Logics
001375 (2006)	Cesare Tinelli [États-Unis] ; Calogero G. Zarba [États-Unis]	Combining Nonstably Infinite Theories
001524 (2005)	Deepak Kapur [États-Unis] ; Laurent Vigneron [France]	Preface
001598 (2005)	Calogero G. Zarba [France]	Combining Sets with Cardinals
001604 (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
001616 (2005)	Alessandro Armando [Italie] ; David Basin [Suisse] ; Jorge Cuellar [Allemagne] ; Michaël Rusinowitch [France] ; Luca Vigan [Suisse]	Automated Reasoning for Security Protocol Analysis
001632 (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/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/ISSN.i -k "1573-0670" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/ISSN.i  \
                -Sk "1573-0670" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    ISSN.i
   |clé=    1573-0670
}}

---

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