Type-Logical and Hyperedge Replacement Grammars - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2008

Type-Logical and Hyperedge Replacement Grammars

Richard Moot
Laboratoire Bordelais de Recherche en Informatique

Résumé

This article gives a much more detailed account of my TAG+ paper. It identifies fragments of the multimodal Lambek calculus and the Lambek-Grishin calculus for which we can have polynomial parsing by giving a hyperedge replacement grammar for proof nets in these fragments.

Domaines

Informatique et langage [cs.CL]
Fichier principal
Vignette du fichier
he.pdf (330.13 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Richard Moot  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00413340

Soumis le : jeudi 3 septembre 2009-17:46:03

Dernière modification le : vendredi 24 mars 2023-14:52:52

Archivage à long terme le : mardi 15 juin 2010-23:10:51

Télécharger pour visualiser

Dates et versions

inria-00413340 , version 1 (03-09-2009)

Identifiants

  • HAL Id : inria-00413340 , version 1

Citer

Richard Moot. Type-Logical and Hyperedge Replacement Grammars. [Research Report] LaBRI; INRIA. 2008, pp.70. ⟨inria-00413340⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LARA
46 Consultations
79 Téléchargements

Partager

Gmail Facebook X LinkedIn More