Keywords
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « Keywords » - entrée « Logic »
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.
Log(wood) < Logic < Logic design  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
000030 (2013) Manuel Rebuschi [France] ; Maxime Amblard [France] ; Michel Musiol [France]Schizophrénie, logicité et perspective en première personne
000402 (2006) Michael Backes [Allemagne] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France]Compositional analysis of contract-signing protocols
000586 (2004) A. S. Murawski [Royaume-Uni] ; C.-H. L. Ong [Royaume-Uni]On an interpretation of safe recursion in light affine logic
000809 (2002) Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]ELAN from a rewriting logic point of view
000861 (2001) Alain Trognon [France] ; Daniel Coulon [France]La modélisation des raisonnements générés dans les interlocutions
000939 (2000) A. Napoli [France] ; J. Euzenat [France] ; R. Ducournau [France]Les représentations des connaissances par objets
000969 (2000) A. Bouhoula [États-Unis, France] ; J.-P. Jouannaud [France] ; J. Meseguer [États-Unis]Specification and proof in membership equational logic
000974 (2000) D. Galmiche [France] ; D. J. Pym [Royaume-Uni]Proof-search in type-theoretic languages : an introduction
000986 (2000) E. Ritter [Royaume-Uni] ; D. Pym [Royaume-Uni] ; L. Wallen [Royaume-Uni]On the intuitionistic force of classical search
000995 (2000) G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France]Higher order unification via explicit substitutions
000999 (2000) C. Ringeissen [France] ; E. Monfroy [Pays-Bas]Generating propagation rules for finite domains : A mixed approach
000A03 (2000) T. Arai [Japon] ; G. Mints [États-Unis]Extended normal form theorems for logical proofs from axioms
000A05 (2000) I. Cervesato [États-Unis] ; J. S. Hodas [États-Unis] ; F. Pfenning [États-Unis]Efficient resource management for linear logic proof search
000A12 (2000) R. Mcdowell [États-Unis] ; D. Miller [États-Unis]Cut-elimination for a logic with definitions and induction
000A14 (2000) G. Nadathur [États-Unis]Correspondences between classical, intuitionistic and uniform provability
000A45 (1999) A. Ginzburg [Italie] ; S.-M. PassoneProust : le miracle de l'analogie
000C44 (1997) P. De Groote [France]An algebraic correctness criterion for intuitionistic proof-nets
000C67 (1996) G. Perrier [France]CPL : un modèle logique du calcul parallèle
000D42 (1994) D. Galmiche [France] ; G. PerrierOn proof normalization in linear logic

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i -k "Logic" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i  \
                -Sk "Logic" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    Logic
}}
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