Constructor Equivalent Term Rewriting Systems are Strongly Sequential: a direct proof
DURAND, Irène
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
DURAND, Irène
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
< Réduire
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Langue
en
Article de revue
Ce document a été publié dans
Information Processing Letters. 1994, vol. 52, p. 137--145
Elsevier
Mots clés en anglais
term-rewriting
strong sequentiality
constructor systems
programming languages
Origine
Importé de halUnités de recherche