Theoretical Computer Science, Volume 83

Volume 83, Number 1, 1991

• Val Tannen, Jean H. Gallier: Polymorphic Rewriting Conserves Algebraic Strong Normalization. 3-28 BibTeX
• Felice Cardone: Recursive Types for Fun. 29-56 BibTeX
• Loïc Colson: About Primitive Recursive Algorithms. 57-69 BibTeX
• Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted: Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . . 71-96 BibTeX
• Zohar Manna, Amir Pnueli: Completing the Temporal Picture. 91-130 BibTeX
• Francesco Parisi-Presicce: Foundations of Rule-Based Design of Modular Systems. 131-155 BibTeX
• Glynn Winskel: A Note on Model Checking the Modal nu-Calculus. 157-167 BibTeX

Volume 83, Number 2, 1991

• Horst Luckhardt: New Formally Undecidable Propositions: Non-Trivial Lower Bounds on Proof Complexity and Related Theorems. 169-188 BibTeX
• David Mauro: Derived Linear Systems of Context-Free Grammars. 189-203 BibTeX
• Martin J. M. de Boer, Aristid Lindenmayer, Zsolt Tuza: A Periodic Division Pattern that Cannot be Generated by D0L Systems. 205-218 BibTeX
• Salah Labhalla: Complexité du Calcul du Développement d'un Nombre Réel en Fractions Continues. 219-235 BibTeX
• Shigeko Seki, Youichi Kobuchi: On Standard Locally Catenative L Schemes. 237-248 BibTeX
• Emanuela Fachini, Andrea Maggiolo-Schettini, Giovanni Resta, Davide Sangiorgi: Nonacceptability Criteria and Closure Properties for the Class of Languages Accepted by Binary Systolic Tree Automata. 249-260 BibTeX
• Gerhard Küster: On the Hurwitz Product of Formal Power Series and Automata. 261-273 BibTeX
• Yossi Azar: Parallel Comparison Merging of Many-Ordered Lists. 275-285 BibTeX
• Sukhamay Kundu: Minimal Strings in a Regular Language with Respect to a Partial Order on the Alphabet. 287-300 BibTeX
• Joëlle Cohen-Chesnot: On the Expressive Power of Temporal Logic for Infinite Words. 301-312 BibTeX
• Lane A. Hemachandra, Gerd Wechsung: Kolmogorov Characterizations of Complexity Classes. 313-322 BibTeX
• Andrzej Wlodzimierz Mostowski: Hierarchies of Weak Automata and Weak Monadic Formulas. 323-335 BibTeX
• Osamu Watanabe: On the p-Isomorphism Conjecture. 337-343 BibTeX