Acta Informatica, Volume 31

Volume 31, Number 1, 1994

• Dana S. Scott: A. Nico Habermann 1932-1993. 1-3 BibTeX
• José Félix Costa, Amílcar Sernadas, Cristina Sernadas: Object Inheritance Beyond Subtyping. 5-26 BibTeX
• Jianwen Su: Dependency Preservation in Semantic Databases. 27-54 BibTeX
• Nicoletta De Francesco, Paola Inverardi: Proving Finiteness of CCS Processes by Non-Standard Semantics. 55-80 BibTeX
• Christel Baier, Mila E. Majster-Cederbaum: The Connection between an Event Structure Semantics and an Operational Semantics for TCSP. 81-104 BibTeX

Volume 31, Number 2, 1994

• Joakim von Wright: The Lattice of Data Refinement. 105-135 BibTeX
• Catherine Mongenet, Philippe Clauss, Guy-René Perrin: Geometrical Tools to Map Systems of Affine Recurrence Equations on Regular Arrays. 137-160 BibTeX
• Andrzej Ehrenfeucht, Paulien ten Pas, Grzegorz Rozenberg: Context-free Text Grammars. 161-206 BibTeX

Volume 31, Number 3, 1994

• Vincenzo Grassi: Dependability Evaluation of Hierarchical Systems. 207-233 BibTeX
• Symeon Bozapalidis, George Rahonis: On two Families of Forests. 235-260 BibTeX
• Myung-Joon Lee, Kwang-Moo Choe: Boundedly LR( k )-conflictable Grammars. 261-283 BibTeX
• Hongzhong Wu: On n-Column 0, 1-Matrices with all k-Projections Surjective. 285-299 BibTeX

Volume 31, Number 4, 1994

• Jyrki Katajainen, Tomi Pasanen: Sorting Multisets Stably in Minimum Space. 301-313 BibTeX
• Oscar H. Ibarra, Nicholas Q. Trân: On Communication-Bounded Synchronized Alternating Finite Automata. 315-327 BibTeX
• Karl Meinke: A Recursive Second Order Initial Algebra Specification of Primitive Recursion. 329-340 BibTeX
• Joost Engelfriet, Linda Heyker, George Leih: Context-Free Graph Languages of Bounded Degree are Generated by Apex Graph Grammars. 341-378 BibTeX
• Volker Diekert, Anca Muscholl: Deterministic Asynchronous Automata for Infinite Traces. 379-397 BibTeX

Volume 31, Number 5, 1994

• Cliff B. Jones, C. A. Middelburg: A Typed Logic of Partial Functions Reconstructed Classically. 399-430 BibTeX
• Armin Kühnemann, Heiko Vogler: Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic. 431-477 BibTeX
• Graham Farr: On Problems with Short Certificates. 479-502 BibTeX

Volume 31, Number 6, 1994

• Gerhard J. Woeginger: Heuristics for Parallel Machine Scheduling with Delivery Times. 503-512 BibTeX
• Richard Hull, Jianwen Su: Domain Independence and the Relational Calculus. 513-524 BibTeX
• Gheorghe Paun, Grzegorz Rozenberg: Prescribed Teams of Grammars. 525-537 BibTeX
• Aldo de Luca, Stefano Varricchio: Well Quasi-Orders and Regular Languages. 539-557 BibTeX
• Gennadi Falin, M. Martìn Dìaz, Jesus R. Artalejo: Information Theoretic Approximations for the M/G/ 1 Retrial Queue. 559-571 BibTeX
• Riccardo Torlone: Update Operations in Deductive Databases with Functional Dependencies. 573-600 BibTeX

Volume 31, Number 7, 1994

• Uwe Kastens, William M. Waite: Modularity and Reusability in Attribute Grammars. 601-627 BibTeX
• Astrid R. Rühl: On Bounds of Response Time Performance Achievable by Multiclass Single-Server Queues. 629-650 BibTeX
• Gilles Bernot, Michel Bidoit, Teodor Knapik: Behavioural Approaches to Algebraic Specifications: A Comparative Study. 651-671 BibTeX
• Philippe Flajolet, Mordecai J. Golin: Mellin Transforms and Asymptotics: The Mergesort Recurrence. 673-696 BibTeX

Volume 31, Number 8, 1994

• Astrid Kiehn: Comparing Locality and Causality Based Equivalences. 697-718 BibTeX
• Dirk Hauschildt, Matthias Jantzen: Petri Net Algorithms in the Theory of Matrix Grammars. 719-728 BibTeX
• David Spuler: Optimal Search Trees Using Two-Way Key Comparisons. 729-740 BibTeX
• Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm: Tree Automata for Code Selection. 741-760 BibTeX
• Karel Culik II, Jarkko Kari: On the Power of L-Systems in Image Generation. 761-773 BibTeX
• Peter Kirschenhofer, Helmut Prodinger: The Path Length of Random Skip Lists. 775-792 BibTeX