Bulletin of the EATCS, Volume 57

Volume 57, October 1995

• Hartmut Ehrig, Bernd Mahr: Theory and Practice of Software Development: A Review of Driving Forces and Expectations. BibTeX

• Yuri Gurevich: Platonism, Constructivism, and Computer Proofs vs. Proofs by Hand. BibTeX

• Klaus Weihrauch: A Foundation of Computable Analysis. BibTeX

• Gheorghe Paun: Splicing. BibTeX

• Michael Bertol, Klaus Reinhardt: The Tautologies over a Finite Set are Context-Free. BibTeX
• Gregory J. Chaitin, Asat Arslanov, Cristian Calude: Program-size Complexity Computes the Halting Problem. BibTeX
• G. Degli Antoni, D. Cabianca, M. Vaccari, M. Benini, F. Casablanca: Linearity of Client/Server Systems. BibTeX
• Cyrus F. Nourani: Artificial Algebras. BibTeX
• Danny Raz: Context-free Languages are Not Closed under Interior and Frontier. BibTeX
• Vincent Vajnovszki: Constant Time Generation of Binary Unordered Trees. BibTeX

• F. Geurts: Hierarchy of Discrete-Time Dynamical Systems, a Survey. BibTeX