Optimal order for approximation of derivatives
On LL-regular grammars
Regular trees and the free iterative theory
Undecidability of the first-order arithmetic A[P(x), 2x, x + 1]
Monadic recursion schemes: The effect of constants
On the family of finite index matrix languages
Modifications of the program scheme model
Complexity classes of provable recursive functions
Some remarks on multiple-entry finite automata
Cônes rationnels commutatifs
Author index for volume 18