Constructor Equivalent 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.contributor.author | SALINIER, Bruno | |
| dc.date.accessioned | 2024-04-15T09:53:16Z | |
| dc.date.available | 2024-04-15T09:53:16Z | |
| dc.date.created | 1992 | |
| dc.date.issued | 1993 | |
| dc.identifier.issn | 0020-0190 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198592 | |
| dc.language.iso | en | |
| dc.publisher | Elsevier | |
| dc.subject.en | term-rewriting | |
| dc.subject.en | equational programming | |
| dc.subject.en | constructor systems | |
| dc.subject.en | semantics | |
| dc.title.en | Constructor Equivalent Term Rewriting Systems | |
| dc.type | Article de revue | |
| dc.subject.hal | Informatique [cs]/Informatique et langage [cs.CL] | |
| bordeaux.journal | Information Processing Letters | |
| bordeaux.page | 131--137 | |
| bordeaux.volume | 47 | |
| 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-00344333 | |
| hal.version | 1 | |
| hal.popular | non | |
| hal.audience | Internationale | |
| hal.origin.link | https://hal.archives-ouvertes.fr//hal-00344333v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Information%20Processing%20Letters&rft.date=1993&rft.volume=47&rft.spage=131--137&rft.epage=131--137&rft.eissn=0020-0190&rft.issn=0020-0190&rft.au=DURAND,%20Ir%C3%A8ne&SALINIER,%20Bruno&rft.genre=article |
Fichier(s) constituant ce document
| Fichiers | Taille | Format | Vue |
|---|---|---|---|
|
Il n'y a pas de fichiers associés à ce document. |
|||