Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

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.
Logarithmic Spike Timing < Logic < Logic and Functional Programming  Facettes :

List of bibliographic references indexed by Logic

Number of relevant bibliographic references: 26.
[0-20] [0 - 20][0 - 26][20-25][20-40]**** probable Xml problem ****
Ident.Authors (with country if any)Title
000883 (2014-11-07) Sai Qian [France]Accessibility of Referents in Discourse Semantics
000A98 (2014-06-18) Maxime Amblard [France] ; Christian Retoré [France]Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
001687 (2013) Manuel Rebuschi [France] ; Maxime Amblard [France] ; Michel Musiol [France]Schizophrénie, logicité et perspective en première personne
003D38 (2008-12-05) Walid Belkhir [France]Algebra and Combinatorics of Parity Games
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
00AE58 (1998) Sohame SelhabLogiques et réécriture
00B790