Tome 25 (1991) no. 5

Sommaire

Prolog infinite trees and automata
p. 397-418
A note on the paper “disjunctive languages and compatible orders”
p. 419-421
Matrix versions of aperiodic K-rational identities
p. 423-444
Implementing term rewriting by jungle evaluation
p. 445-472
Normal forms for phrase-structure grammars
p. 473-496