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]
< Leer menos
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Idioma
en
Article de revue
Este ítem está publicado en
Information Processing Letters. 1994, vol. 52, p. 137--145
Elsevier
Palabras clave en inglés
term-rewriting
strong sequentiality
constructor systems
programming languages
Orígen
Importado de HalCentros de investigación