Theoretical Computer Science, Volume 94

Volume 94, Number 1, 1992

• Uwe Waldmann: Semantics of Order-Sorted Specifications. 1-35 BibTeX
• François Lamarche: Quantitative Domains and Infinitary Algebras. 37-62 BibTeX
• Ivan Filippenko, F. L. Morris: Domains for Logic Programming. 63-99 BibTeX
• Vincenzo Manca, Antonino Salibra: Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets. 101-124 BibTeX
• Paul Caspi: Clocks in Dataflow Languages. 125-140 BibTeX
• Maciej Koutny: Adequacy-Preserving Transformations of COSY Path Programs. 141-158 BibTeX

Volume 94, Number 2, 1992

• Jean-Paul Allouche, Patrick Morton, Jeffrey Shallit: Pattern Spectra, Substring Enumeration, and Automatic Sequences. 161-174 BibTeX
• Laurent Baratchart, M. Olivi, Franck Wielonsky: On a Rational Approximation Problem in the Real Hardy Space H2. 175-197 BibTeX
• Patrick Dehornoy: Probleme de mots dans les gerbes libres. 199-213 BibTeX
• Sébastien Ferenczi: Tiling the Morse Sequence. 215-221 BibTeX
• Christiane Frougny: Systemes de numeration linearires et Theta-representations. 223-236 BibTeX
• Didier Galmiche: Program Development in Constructive Type Theory. 237-259 BibTeX
• Danièle Gardy: Methode de col et lois limites en analyse combinatoire. 261-280 BibTeX
• Bernahrd Gil: Complete Extension of General Logic Programs. 281-294 BibTeX
• Gilles Lachaud: Artin-Schreier Curves, Exponential Sums, and Coding Theory. 295-310 BibTeX
• Dominique Méry: The N U System as a Development System for Concurrent Programs: delta N U. 311-334 BibTeX
• Michel Parigot: Recursive Programming with Proofs. 335-336 BibTeX
• Dominique Perrin: On Positive Matrices. 357-366 BibTeX
• Antonio Restivo: A Note on Renewal Systems. 367-371 BibTeX
• Zhi-Xiong Wen, Zhi-Ying Wen: Some Studies on the (p, q)-Type Sequences. 373-393 BibTeX