PascalFr.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « PascalFr.i » - entrée « Logique »
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.
Logiciel patrimonial < Logique < Logique Gödel Dummett  Facettes :

List of bibliographic references indexed by Logique

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
001687 (2013) Manuel Rebuschi [France] ; Maxime Amblard [France] ; Michel Musiol [France]Schizophrénie, logicité et perspective en première personne
005617 (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
006D01 (2004) A. S. Murawski [Royaume-Uni] ; C.-H. L. Ong [Royaume-Uni]On an interpretation of safe recursion in light affine logic
008914 (2002) Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]ELAN from a rewriting logic point of view
009422 (2001) Alain Trognon [France] ; Daniel Coulon [France]La modélisation des raisonnements générés dans les interlocutions
009D11 (2000) Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis]Specification and proof in membership equational logic
009D18 (2000) Didier Galmiche [France] ; David J. Pym [Royaume-Uni]Proof-search in type-theoretic languages: an introduction
009D50 (2000) Iliano Cervesato [États-Unis] ; Joshua S. Hodas [États-Unis] ; Frank Pfenning [États-Unis]Efficient resource management for linear logic proof search
009E84 (2000) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Higher Order Unification via Explicit Substitutions
009E90 (2000) Christophe Ringeissen [France] ; Eric Monfroy [Pays-Bas]Generating Propagation Rules for Finite Domains: A Mixed Approach
009F64 (2000) A. Napoli [France] ; J. Euzenat [France] ; R. Ducournau [France]Les représentations des connaissances par objets
009F89 (2000) E. Ritter [Royaume-Uni] ; D. Pym [Royaume-Uni] ; L. Wallen [Royaume-Uni]On the intuitionistic force of classical search
009F93 (2000) T. Arai [Japon] ; G. Mints [États-Unis]Extended normal form theorems for logical proofs from axioms
009F98 (2000) R. Mcdowell [États-Unis] ; D. Miller [États-Unis]Cut-elimination for a logic with definitions and induction
009F99 (2000) G. Nadathur [États-Unis]Correspondences between classical, intuitionistic and uniform provability
00AA81 (1999) A. Ginzburg [Italie] ; S.-M. PassoneProust : le miracle de l'analogie
00BC78 (1997) Philippe De Groote [France]An algebraic correctness criterion for intuitionistic proof-nets
00C132 (1996) G. Perrier [France]CPL : un modèle logique du calcul parallèle
00CD73 (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/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/PascalFr.i -k "Logique" 

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