Mathematical Systems Theory, Volume 13

Volume 13, 1979

Laurian M. Chirica, David F. Martin: An Order-Algebraic Definition of Knuthian Semantics. 1-27 BibTeX
Neil D. Jones, Sven Skyum: Complexity of Some Problems Concerning L Systems. 29-43 BibTeX
Harry R. Lewis: Satisfiability Problems for Propositional Calculi. 45-53 BibTeX
Alan L. Selman: P-selective Sets, Tally Languages, and the Behavior of Polynomial Time Reducibilities on NP. 55-65 BibTeX
Prodip Sen, M. R. Chidambara: Dolezals's Theorem Revisited. 67-79 BibTeX
Masakazu Nasu: Indecomposable Local Maps of Tesselation Automata. 81-93 BibTeX
Richard A. DeMillo, Richard J. Lipton: A Constructive Generalization of the Borel-Cantelli Lemma with Application to the Complexity of Infinite Strings. 95-104 BibTeX
Arnold L. Rosenberg, Derick Wood, Zvi Galil: Storage Representations for Tree-Like Data Structures. 105-130 BibTeX
Bruno Courcelle: Infinite Trees in Normal Form and Recursive Equations Having a Unique Solution. 131-180 BibTeX
Oscar H. Ibarra: Restricted One-Counter Machines with Undecidable Universe Problems. 181-186 BibTeX

Nancy A. Lynch, Edward K. Blum: Relative Complexity of Operations on Numeric and Bit-String Algebras. 187-207 BibTeX
Jean H. Gallier: On The Existence of Optimal Fixpoints. 209-217 BibTeX
André Arnold, Maurice Nivat: Formal Computations of Non Deterministic Recursive Program Schemes. 219-236 BibTeX
William A. Porter: Multiple Signal Extraction by Polynomial Filtering. 237-254 BibTeX
Evelyn Nelson: Categorical and Topological Aspects of Formal Languages. 255-273 BibTeX
André Arnold: Le Théorème de Transversale Rationnelle dans les Langages d'Arbres. 275-282 BibTeX
Dana Angluin: On Relativizing Auxiliary Pushdown Machines. 283-299 BibTeX
Eli Shamir, Marc Snir: On the Depth Complexity of Formulas. 301-322 BibTeX
Eljas Soisalon-Soininen: On Comparing LL(k) and LR(k) Grammars. 323-329 BibTeX
F. Rodriguez: Compelled Operations and Operations of Degree P. 331-347 BibTeX
Mark Luker: Control Sets on Grammars Using Depth-First Derivations. 349-359 BibTeX
L. R. Hunt: Global Controllability of Nonlinear Systems in Two Dimensions. 361-376 BibTeX