Theoretical Computer Science, Volume 73

Volume 73, Number 1, 1990

G. Jacopini, G. Sontacchi: Reversible Parallel Computation: An Evolving Space-Model. 1-46 BibTeX
Fred Kröger: On the Interpretability of Arithmetic in Temporal Logic. 47-60 BibTeX
Christian Lavault: Exact Average Message Complexity Values for Distributed Election on Bidirectional Rings of Processors. 61-79 BibTeX
Stefano Varricchio: Factorizations of Free Monoids and Unaviodable Regularities. 81-89 BibTeX
Mark Jerrum, Alistair Sinclair: Fast Uniform Generation of Regular Graphs. 91-100 BibTeX
Hagen Huwig, Axel Poigné: A Note on Inconsistencies Caused by Fixpoints in a Cartesian Closed Category. 101-112 BibTeX

Alexander Aiken: A Theory of Compaction-Based Parallelization. 121-154 BibTeX
You-Chin Fuh, Prateek Mishra: Type Inference with Subtypes. 155-175 BibTeX
Robert Giegerich: Code Selection by Inversion of Order-Sorted Derivors. 177-211 BibTeX
Susan Horwitz: Adding Relational Query Facilities to Software Development Environments. 213-230 BibTeX
Philip Wadler: Deforestation: Transforming Programs to Eliminate Trees. 231-248 BibTeX

Richard Beigel: Bi-Immunity Results for Cheatable Sets. 249-263 BibTeX
Jianer Chen: The Difference Between one Tape and two Tapes: with Respect to Reversal Complexity. 265-278 BibTeX
Jochen Hoffmann, Michael G. Main: Results on NLC Grammars with One-Letter Terminal Alphabets. 279-294 BibTeX
Changwook Kim: Complexity and Decidability for Restricted Classes of Picture Languages. 295-311 BibTeX
J. M. Robson: Strong Time Bounds: Non-Computable Bounds and a Hierarchy Theorem. 313-317 BibTeX
Alan A. Bertossi, Fabrizio Luccio, Elena Lodi, Linda Pagli: String Matching with Weighted Errors. 319-328 BibTeX
Tom Head: The Set of Strings Mapped Into a Submonoid by Iterates of a Morphism. 329-333 BibTeX
William Schmitt: Hopf Algebras and Identities in Free Partially Commutative Monoids. 335-340 BibTeX