0022-0000

Journal of Computer and System Sciences (JCSS) - Volume 18, Issue 3 论文列表

本期论文列表
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