Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Keywords » - entrée « linear 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.
linear lists < linear logic < linear logic, proof nets, Categorial Grammars  Facettes :

List of bibliographic references indexed by linear logic

Number of relevant bibliographic references: 60.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
001C98 (2012) Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie]An Implicit Characterization of PSPACE
004148 (2008) Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie]Soft Linear Logic and Polynomial Complexity Classes
004609 (2008) Daniel De Carvalho [France] ; Michele Pagani [France] ; Lorenzo Tortora De Falco [Italie]A semantic measure of the execution time in Linear Logic
004618 (2008) Daniel De Carvalho [France]A Note on Weak Algebraic Theories
006919 (2004) Lutz Strassburger ; Francois LamarcheOn Proof Nets for Multiplicative Linear Logic with Units
006F97 (2004) Sylvain Pogodalla [France] ; Christian Retoré [France]Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits
007475 (2003) Francois LamarcheOn the Algebra of Structural Contexts
007509 (2003) Didier Galmiche ; Jean-Marc NotinConnection-based proof construction in Non-Commutative Logic
007702 (2003) Sylvain Salvati ; Philippe De GrooteOn the complexity of higher-order matching in the linear λ-calculus
007775 (2003) Philippe De Groote ; Sylvain Pogodallam-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars
008273 (2002) Philippe De Groote ; François LamarcheClassical Non Associative Lambek Calculus
008356 (2002) Didier Galmiche ; Daniel MeryConnection-based proof search in propositional BI logic
008416 (2002) Nicolas Biri ; Didier GalmicheA Modal Linear Logic for Distribution and Mobility - extended abstract -
008478 (2002) Luc Habert ; Jean-Marc Notin ; Didier GalmicheLINK : a Proof Environment based on Proof nets
008480 (2002) Richard F. Blute ; François Lamarche ; Paul RuetEntropic Hopf Algebras and Models of Non Commutative Logic
008829 (2002) Philippe De Groote [France] ; François Lamarche [France]Classical Non-Associative Lambek Calculus
008C57 (2001-09-27) Sylvain Pogodalla [France]Proof Nets and Generation for Type-Logical Grammars
008D62 (2001) Sylvain PogodallaRéseaux de preuve et génération pour les grammaires de types logiques
008F26 (2001) Dominique LarcheyRefutations as countermodels in intuitionistic linear logic
008F90 (2001) Guy PerrierIntuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions
009052 (2001) Didier Galmiche ; Jean-Marc NotinCalculi with dependency relations for Mixed 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/KwdEn.i -k "linear logic" 

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