Mostrar el registro sencillo del ítem
Bounded, Strongly Sequential and Forward-branching Term Rewriting Systems
hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
dc.contributor.author | DURAND, Irène | |
dc.date.accessioned | 2024-04-15T09:53:15Z | |
dc.date.available | 2024-04-15T09:53:15Z | |
dc.date.created | 1992 | |
dc.date.issued | 1994 | |
dc.identifier.issn | 0747-7171 | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198591 | |
dc.language.iso | en | |
dc.publisher | Elsevier | |
dc.title.en | Bounded, Strongly Sequential and Forward-branching Term Rewriting Systems | |
dc.type | Article de revue | |
dc.subject.hal | Informatique [cs]/Informatique et langage [cs.CL] | |
bordeaux.journal | Journal of Symbolic Computation | |
bordeaux.page | 319--352 | |
bordeaux.volume | 18 | |
bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
bordeaux.institution | Université de Bordeaux | |
bordeaux.institution | Bordeaux INP | |
bordeaux.institution | CNRS | |
bordeaux.peerReviewed | oui | |
hal.identifier | hal-00344335 | |
hal.version | 1 | |
hal.popular | non | |
hal.audience | Internationale | |
hal.origin.link | https://hal.archives-ouvertes.fr//hal-00344335v1 | |
bordeaux.COinS | ctx_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 |
Archivos en el ítem
Archivos | Tamaño | Formato | Ver |
---|---|---|---|
No hay archivos asociados a este ítem. |