Acta Informatica, Volume 35

Volume 35, Number 1, 1998

• Vincent D. Blondel:
  Structured Numbers: Properties of a Hierarchy of Operations on Binary Trees. 1-15
  Electronic Edition (Springer LINK) BibTeX
• Rainer Kemp:
  Generating Words Lexicographically: An Average-Case Analysis. 17-89
  Electronic Edition (Springer LINK) BibTeX

Volume 35, Number 2, 1998

• Beverly A. Sanders:
  Data Refinement of Mixed Specifications. 91-129
  Electronic Edition (Springer LINK) BibTeX
• Ralph-Johan Back, Qiwen Xu:
  Refinement of Fair Action Systems. 131-165
  Electronic Edition (Springer LINK) BibTeX
• Stefan Andrei, Cristian Masalagiu:
  About the Collatz Conjecture. 167-179
  Electronic Edition (Springer LINK) BibTeX

Volume 35, Number 3, 1998

• Elvira Locuratolo, Fausto Rabitti:
  Conceptual Classes and System Classes in Object Databases. 181-210
  Electronic Edition (Springer LINK) BibTeX
• Wenceslas Fernandez de la Vega, Vangelis Th. Paschos, Andreas Stafylopatis:
  Average-Case Complexity for the Execution of Recursive Definitions on Relational Databases. 211-243
  Electronic Edition (Springer LINK) BibTeX
• Edward Y. C. Cheng, Michael Kaminski:
  Context-Free Languages over Infinite Alphabets. 245-267
  Electronic Edition (Springer LINK) BibTeX

Volume 35, Number 4, 1998

• Derrick G. Kourie, G. Deon Oosthuizen:
  Lattices in Machine Learning: Complexity Issues. 269-292
  Electronic Edition (Springer LINK) BibTeX
• Alexander Moshe Rabinovich:
  Modularity and Expressibility for Nets of Relations. 293-327
  Electronic Edition (Springer LINK) BibTeX
• Thomas Buchholz, Martin Kutrib:
  On Time Computability of Functions in One-Way Cellular Automata. 329-352
  Electronic Edition (Springer LINK) BibTeX

Volume 35, Number 5, 1998

• Michele Boreale, Davide Sangiorgi:
  A Fully Abstract Semantics for Causality in the \pi-Calculus. 353-400
  Electronic Edition (Springer LINK) BibTeX
• Lila Kari, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sheng Yu:
  DNA Computing, Sticker Systems, and Universality. 401-420
  Electronic Edition (Springer LINK) BibTeX
• Reuven Bar-Yehuda, Sergio Fogel:
  Partitioning a Sequence into Few Monotone Subsequences. 421-440
  Electronic Edition (Springer LINK) BibTeX

Volume 35, Number 6, 1998

• Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
  Consistent Records in Asynchronous Computations. 441-455
  Electronic Edition (Springer LINK) BibTeX
• Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm:
  A Logic-Based Approach to Program Flow Analysis. 457-504
  Electronic Edition (Springer LINK) BibTeX
• Zoltán Ésik, Michael Bertol:
  Nonfinite Axiomatizability of the Equational Theory of Shuffle. 505-539
  Electronic Edition (Springer LINK) BibTeX

Volume 35, Number 7, 1998

• Jop F. Sibeyn:
  List Ranking on Meshes. 543-566
  Electronic Edition (Springer LINK) BibTeX
• Volker Diekert, Paul Gastin:
  Approximating Traces. 567-593
  Electronic Edition (Springer LINK) BibTeX
• Hing Leung:
  On Finite Automata with Limited Nondeterminism. 595-624
  Electronic Edition (Springer LINK) BibTeX
• Juha Honkala:
  Decision Problems Concerning Thinness and Slenderness of Formal Languages. 625-636
  Electronic Edition (Springer LINK) BibTeX

Volume 35, Number 8, 1998

• Jan Van den Bussche, Luca Cabibbo:
  Converting Untyped Formulas to Typed Ones. 637-643
  Electronic Edition (Springer LINK) BibTeX
• Danièle Beauquier, Anatol Slissenko:
  Polytime Model Checking for Timed Probabilistic Computation Tree Logic. 645-664
  Electronic Edition (Springer LINK) BibTeX
• Salvatore Caporaso, Michele Zito:
  On a Relation Between Uniform Coding and Problems of the Form DTIMEF(F) =? DSPACEF(F). 665-672
  Electronic Edition (Springer LINK) BibTeX
• Hsu-Chun Yen:
  Priority Conflict-Free Petri Nets. 673-688
  Electronic Edition (Springer LINK) BibTeX
• Huei-Jan Shyr, Shyr-Shen Yu:
  Bi-Catenation and Shuffle Product of Languages. 689-707
  Electronic Edition (Springer LINK) BibTeX
• Chen-Ming Fan, Huei-Jan Shyr, Shyr-Shen Yu:
  d-Words and d-Languages. 709-727
  Electronic Edition (Springer LINK) BibTeX

Volume 35, Number 9, 1998

• Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro:
  Denotational Semantics of Object Specification. 729-773
  Electronic Edition (Springer LINK) BibTeX
• Alistair Moffat, Ola Petersson, Nicholas C. Wormald:
  A Tree-Based Mergesort. 775-793
  Electronic Edition (Springer LINK) BibTeX
• Eric Sanlaville, Günter Schmidt:
  Machine Scheduling with Availability Constraints. 795-811
  Electronic Edition (Springer LINK) BibTeX

Volume 35, Number 10, 1998

• Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz:
  M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. 813-857
  Electronic Edition (Springer LINK) BibTeX
• Kim S. Larsen:
  Amortized Constant Relaxed Rebalancing Using Standard Rotations. 859-874
  Electronic Edition (Springer LINK) BibTeX
• Christoph Wedler, Christian Lengauer:
  On Linear List Recursion in Parallel. 875-909
  Electronic Edition (Springer LINK) BibTeX

Volume 35, Number 11, 1998

• Hsien-Kuei Hwang:
  Asymptotic Expansions of the Mergesort Recurrences. 911-919
  Electronic Edition (Springer LINK) BibTeX
• Ralph-Johan Back, Michael J. Butler:
  Fusion and Simultaneous Execution in the Refinement Calculus. 921-949
  Electronic Edition (Springer LINK) BibTeX
• Michel Bidoit, Rolf Hennicker:
  Modular Correctness Proofs of Behavioural Implementations. 951-1005
  Electronic Edition (Springer LINK) BibTeX

Volume 35, Number 12, 1998

• Lex Bijlsma, Rob Nederpelt:
  Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions. 1007-1036
  Electronic Edition (Springer LINK) BibTeX
• Nicoletta De Francesco, Antonella Santone:
  A Transformation System for Concurrent Processes. 1037-1073
  Electronic Edition (Springer LINK) BibTeX
• Joost Engelfriet, Tjalling Gelsema:
  Axioms for Generalized Graphs, Illustrated by a Cantor-Bernstein Proposition. 1075-1096
  Electronic Edition (Springer LINK) BibTeX