Acta Informatica, Volume 37
Volume 37, Number 1, 2000
Youichi Kobuchi, Takashi Saito, Hidenobu Nunome: Semantics analysis through elementary meanings. 1-19- Desh Ranjan, Enrico Pontelli, Gopal Gupta: Data structures for order-sensitive predicates in parallel nondeterministic systems. 21-43
Volume 37, Number 2, 2000
- Amir M. Ben-Amram, Neil D. Jones: Computational complexity via programming languages: constant factors do matter. 83-120
Volume 37, Number 3, 2000
- Soma Chaudhuri, Martha J. Kosa, Jennifer L. Welch: One-write algorithms for multivalued regular and atomic registers. 161-192
- Bo-Ting Yang, Paul Gillard: The class Steiner minimal tree problem: a lower bound and test problem generation. 193-211
Volume 37, Number 4/5, 2001
- Manfred Broy: Letter from the Editor. 227-228
- Rob J. van Glabbeek, Ursula Goltz: Refinement of actions and equivalence notions for concurrent systems. 229-327
- Annabelle McIver, Carroll Morgan: Demonic, angelic and unbounded probabilistic choices in sequential programs. 329-354
- Philippe Chanzy, Luc Devroye, Carlos Zamora-Cura: Analysis of range search for random k-d trees. 355-383
Volume 37, Number 6, 2001
Volume 37, Number 7, 2001
- Flavio Corradini, Marco Pistore: `Closed Interval Process Algebra' versus `Interval Process Algebra'. 467-509
- Henning Fernau: Parallel communicating grammar systems with terminal transmission. 511-540
Volume 37, Number 8, 2001
Volume 37, Number 9, 2001
- Changwook Kim: Efficient recognition algorithms for boundary and linear eNCE graph languages. 619-632
- John Aycock, R. Nigel Horspool, Jan Janousek, Borivoj Melichar: Even faster generalized LR parsing. 633-651
- Shin-ichi Morimoto, Masataka Sassa: Yet another generation of LALR parsers for regular right part grammars. 671-697
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
- Rob van Stee, Johannes A. La Poutré: Running a job on a collection of partly available machines, with on-line restarts. 727-742
- Kim S. Larsen, Thomas Ottmann, Eljas Soisalon-Soininen: Relaxed balance for search trees with local rebalancing. 743-763
Volume 37, Number 11-12, 2001
- Ram Chakka, Peter G. Harrison: A Markov modulated multi-server queue with negative customers - The MM CPP/GE/c/L G-queue. 881-919
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203403 by the dblp team