FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « FC03.fr.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

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

List of associated Author.i

Nombre de
documents		Descripteur
2D. Galmiche
2G. Perrier
1A. Bouhoula
1A. Ginzburg
1A. Napoli
1A. S. Murawski
1Alain Trognon
1Ante Derek
1Anupam Datta
1C. Kirchner
1C. Ringeissen
1C.-H. L. Ong
1Claude Kirchner
1D. J. Pym
1D. Miller
1D. Pym
1Daniel Coulon
1E. Monfroy
1E. Ritter
1F. Pfenning
1G. Dowek
1G. Mints
1G. Nadathur
1Hélène Kirchner
1I. Cervesato
1J. Euzenat
1J. Meseguer
1J. S. Hodas
1J.-P. Jouannaud
1John C. Mitchell
1L. Wallen
1Manuel Rebuschi
1Mathieu Turuani
1Maxime Amblard
1Michael Backes
1Michel Musiol
1P. De Groote
1Peter Borovansky
1Pierre-Etienne Moreau
1R. Ducournau
1R. Mcdowell
1S.-M. Passone
1T. Arai
1T. Hardin

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/FC03.fr.i -k "Logique" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Logique" \
         | 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=    FC03.fr.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