Afficher la notice abrégée

hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
dc.contributor.authorDURAND, Irène
dc.date.accessioned2024-04-15T09:53:15Z
dc.date.available2024-04-15T09:53:15Z
dc.date.created1992
dc.date.issued1994
dc.identifier.issn0747-7171
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198591
dc.language.isoen
dc.publisherElsevier
dc.title.enBounded, Strongly Sequential and Forward-branching Term Rewriting Systems
dc.typeArticle de revue
dc.subject.halInformatique [cs]/Informatique et langage [cs.CL]
bordeaux.journalJournal of Symbolic Computation
bordeaux.page319--352
bordeaux.volume18
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.peerReviewedoui
hal.identifierhal-00344335
hal.version1
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00344335v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Journal%20of%20Symbolic%20Computation&rft.date=1994&rft.volume=18&rft.spage=319--352&rft.epage=319--352&rft.eissn=0747-7171&rft.issn=0747-7171&rft.au=DURAND,%20Ir%C3%A8ne&rft.genre=article


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée