Mostrar el registro sencillo del ítem

Constructor Equivalent Term Rewriting Systems are Strongly Sequential: a direct proof

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.contributor.authorSALINIER, Bruno
dc.date.accessioned2024-04-15T09:53:16Z
dc.date.available2024-04-15T09:53:16Z
dc.date.created1993
dc.date.issued1994
dc.identifier.issn0020-0190
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198593
dc.language.isoen
dc.publisherElsevier
dc.subject.enterm-rewriting
dc.subject.enstrong sequentiality
dc.subject.enconstructor systems
dc.subject.enprogramming languages
dc.title.enConstructor Equivalent Term Rewriting Systems are Strongly Sequential: a direct proof
dc.typeArticle de revue
dc.subject.halInformatique [cs]/Informatique et langage [cs.CL]
bordeaux.journalInformation Processing Letters
bordeaux.page137--145
bordeaux.volume52
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.peerReviewedoui
hal.identifierhal-00344330
hal.version1
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00344330v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Information%20Processing%20Letters&rft.date=1994&rft.volume=52&rft.spage=137--145&rft.epage=137--145&rft.eissn=0020-0190&rft.issn=0020-0190&rft.au=DURAND,%20Ir%C3%A8ne&SALINIER,%20Bruno&rft.genre=article


Archivos en el ítem

ArchivosTamañoFormatoVer

No hay archivos asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem