Acta Informatica, Volume 37

Volume 37, Number 1, 2000

• Youichi Kobuchi, Takashi Saito, Hidenobu Nunome:
  Semantics analysis through elementary meanings. 1-19
  Electronic Edition (Springer LINK) BibTeX
• Desh Ranjan, Enrico Pontelli, Gopal Gupta:
  Data structures for order-sensitive predicates in parallel nondeterministic systems. 21-43
  Electronic Edition (Springer LINK) BibTeX
• Béatrice Bérard, Claudine Picaronny:
  Accepting Zeno words: a way toward timed refinements. 45-81
  Electronic Edition (Springer LINK) BibTeX

Volume 37, Number 2, 2000

• Amir M. Ben-Amram, Neil D. Jones:
  Computational complexity via programming languages: constant factors do matter. 83-120
  Electronic Edition (Springer LINK) BibTeX
• Danny Dubé, Marc Feeley:
  Efficiently building a parse tree from a regular expression. 121-144
  Electronic Edition (Springer LINK) BibTeX
• Stefan Andrei, Manfred Kudlek, Radu Stefan Niculescu:
  Some results on the Collatz problem. 145-160
  Electronic Edition (Springer LINK) BibTeX

Volume 37, Number 3, 2000

• Soma Chaudhuri, Martha J. Kosa, Jennifer L. Welch:
  One-write algorithms for multivalued regular and atomic registers. 161-192
  Electronic Edition (Springer LINK) BibTeX
• Bo-Ting Yang, Paul Gillard:
  The class Steiner minimal tree problem: a lower bound and test problem generation. 193-211
  Electronic Edition (Springer LINK) BibTeX
• Hendrik Jan Hoogeboom, Nike van Vugt:
  Fair sticker languages. 213-225
  Electronic Edition (Springer LINK) BibTeX

Volume 37, Number 4/5, 2001

• Manfred Broy:
  Letter from the Editor. 227-228
  Electronic Edition (Springer LINK) BibTeX
• Rob J. van Glabbeek, Ursula Goltz:
  Refinement of actions and equivalence notions for concurrent systems. 229-327
  Electronic Edition (Springer LINK) BibTeX
• Annabelle McIver, Carroll Morgan:
  Demonic, angelic and unbounded probabilistic choices in sequential programs. 329-354
  Electronic Edition (Springer LINK) BibTeX
• Philippe Chanzy, Luc Devroye, Carlos Zamora-Cura:
  Analysis of range search for random k-d trees. 355-383
  Electronic Edition (Springer LINK) BibTeX

Volume 37, Number 6, 2001

• Ian J. Hayes, Mark Utting:
  A sequential real-time refinement calculus. 385-448
  Electronic Edition (Springer LINK) BibTeX
• Ferucio Laurentiu Tiplea, Erkki Mäkinen, Corina Apachite:
  Synchronized extension systems. 449-465
  Electronic Edition (Springer LINK) BibTeX

Volume 37, Number 7, 2001

• Flavio Corradini, Marco Pistore:
  `Closed Interval Process Algebra' versus `Interval Process Algebra'. 467-509
  Electronic Edition (Springer LINK) BibTeX
• Henning Fernau:
  Parallel communicating grammar systems with terminal transmission. 511-540
  Electronic Edition (Springer LINK) BibTeX

Volume 37, Number 8, 2001

• Joseph M. Morris, Alexander Bunkenburg:
  A theory of bunches. 541-561
  Electronic Edition (Springer LINK) BibTeX
• Luc Moreau, Jean Duprat:
  A construction of distributed reference counting. 563-595
  Electronic Edition (Springer LINK) BibTeX
• Arturo Carpi, Aldo de Luca:
  Periodic-like words, periodicity, and boxes. 597-618
  Electronic Edition (Springer LINK) BibTeX

Volume 37, Number 9, 2001

• Changwook Kim:
  Efficient recognition algorithms for boundary and linear eNCE graph languages. 619-632
  Electronic Edition (Springer LINK) BibTeX
• John Aycock, R. Nigel Horspool, Jan Janousek, Borivoj Melichar:
  Even faster generalized LR parsing. 633-651
  Electronic Edition (Springer LINK) BibTeX
• Laurent Alonso, René Schott:
  On the tree inclusion problem. 653-670
  Electronic Edition (Springer LINK) BibTeX
• Shin-ichi Morimoto, Masataka Sassa:
  Yet another generation of LALR parsers for regular right part grammars. 671-697
  Electronic Edition (Springer LINK) BibTeX

Volume 37, Number 10, 2001

• Sergio Greco, Domenico Saccà, Carlo Zaniolo:
  Extending stratified datalog to capture complexity classes ranging from P to QH. 699-725
  Electronic Edition (Springer LINK) BibTeX
• Rob van Stee, Johannes A. La Poutré:
  Running a job on a collection of partly available machines, with on-line restarts. 727-742
  Electronic Edition (Springer LINK) BibTeX
• Kim S. Larsen, Thomas Ottmann, Eljas Soisalon-Soininen:
  Relaxed balance for search trees with local rebalancing. 743-763
  Electronic Edition (Springer LINK) BibTeX
• Jan Ramon, Maurice Bruynooghe:
  A polynomial time computable metric between point sets. 765-780
  Electronic Edition (Springer LINK) BibTeX

Volume 37, Number 11-12, 2001

• Eike Best, Raymond R. Devillers, Maciej Koutny:
  Recursion and Petri nets. 781-829
  Electronic Edition (Springer LINK) BibTeX
• Egidio Astesiano, Gianna Reggio:
  Labelled transition logic: an outline. 831-879
  Electronic Edition (Springer LINK) BibTeX
• Ram Chakka, Peter G. Harrison:
  A Markov modulated multi-server queue with negative customers - The MM CPP/GE/c/L G-queue. 881-919
  Electronic Edition (Springer LINK) BibTeX