1573-0638 < 1573-0670 < 1573-0697

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.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
000047 (2010)	Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Unification Modulo Homomorphic Encryption
000058 (1990)	Siva Anantharaman [France] ; Jieh Hsiang [République populaire de Chine, États-Unis]	Automated proofs of the moufang identities in alternative rings
000192 (1990)	Pierre Lescanne [France]	On the recursive decomposition ordering with lexicographical status and other related orderings
000283 (1999)	Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis]	Computational Complexity of Simultaneous Elementary Matching Problems
000351 (2002)	Dimitri Hendriks	Proof Reflection in Coq
000520 (2012)	Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon]	Multi-Completion with Termination Tools
000658 (2010)	Véronique Cortier [France] ; Stéphanie Delaune [France]	Decidability and Combination Results for Two Notions of Knowledge in Security Protocols
000884 (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
000A50 (1998)	Gilles Défourneaux [France] ; Christophe Bourely [France] ; Nicolas Peltier [France]	Semantic Generalizations for Proving and Disproving Conjectures by Analogy
000D46 (2010)	Yannick Chevalier [France] ; Michaël Rusinowitch [France]	Decidability of Equivalence of Symbolic Derivations
001357 (2006)	Evelyne Contejean [France] ; Claude Marché [France] ; Ana Paula Tomás [Portugal] ; Xavier Urbain [France]	Mechanically Proving Termination Using Polynomial Interpretations
001410 (2005)	Calogero G. Zarba [France] ; Domenico Cantone [Italie] ; Jacob T. Schwartz [États-Unis]	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case
001413 (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
001517 (2011)	Kristoffer H. Rose [États-Unis] ; Roel Bloo [Pays-Bas] ; Frédéric Lang [France]	On Explicit Substitution with Names
001555 (1999)	Masahito Kurihara [Japon] ; Hisashi Kondo [Japon]	Completion for Multiple Reduction Orderings
001598 (2002)	Quang Huy Nguyen ; Claude Kirchner ; Hélène Kirchner	External Rewriting for Skeptical Proof Assistants
001610 (1998)	Hoon Hong [États-Unis] ; Dalibor Jakuš [Autriche]	Testing Positiveness of Polynomials
001823 (1986)	Jia-Huai You [Canada] ; P. A. Subrahmanyam [États-Unis]	A class of confluent term rewriting systems and unification
001B66 (2005)	Deepak Kapur [États-Unis] ; Laurent Vigneron [France]	Preface
001C17 (1997)	Jürgen Giesl [Allemagne]	Termination of Nested and Mutually Recursive Algorithms
001C99 (2003)	Michaël Rusinowitch [France] ; Sorin Stratulat [France] ; Francis Klay [France]	Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |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