Journal: Theory Comput. Syst.

Volume 21, Issue 4

187 -- 221Bruno Courcelle. The Monadic Second-Order Logic of Graphs, II: Infinite Graphs of Bounded Width
223 -- 233Rattikorn Hewett, Giora Slutzki. Comparisons Between Some Pumping Conditions for Context-Free Languages
235 -- 254Salvatore Monaco, Dorothée Normand-Cyrot. Functional Expansions for Nonlinear Discrete-Time Systems