Volume 26,
1992
- Walter J. Gutjahr, Georg Ch. Pflug:
The limiting common distribution of two leaf heights in a random brinary tree.
1-18
- Elisabeth Pelz:
Normalization of place/transition-systems preserves net behaviour.
19-44
- Bertrand Le Saëc, Igor Litovsky:
Rebootable and suffix-closed omega-power languages.
45-58
- Chantal Berline:
Rétractions et interprétation interne du polymorphisme: problème de la rétraction universelle.
59-92
- Jürgen Duske, Martin Middendorf, Rainer Parchmann:
Indexed counter languages.
93-114
- Andrea Masini, Andrea Maggiolo-Schettini:
TTL: A formalism to describe local and global properties of distributed systems.
115-162
- C. P. Rupert:
Crossability of cancellative Kleene semigroups.
151-162
- U. Schmid:
On a tree collision resolution algorithm in presence of capture.
163-198
- Filippo Mignosi, Giuseppe Pirillo:
Repetitions in the Fibonacci infinite word.
199-204
- Mireille Bousquet-Mélou:
Une bijection entre les polyominos convexes dirigés et les mots de Dyck bilatères.
205-220
- Georges Blanc, Noëlle Bleuzen-Guernalec:
Algèbres effectives dans la programmation logique avec constraintes.
221-242
- Tero Harju, H. C. M. Kleijn, Michel Latteux:
Compositional representation of rational functions.
243-256
- Bruno Courcelle:
The monadic second-order logic of graphs III: tree-decompositions, minor and complexity issues.
257-286
- Juha Honkala, Arto Salomaa:
Characterization results about L codes.
287-302
- Mireille Régnier:
Enumeration of bordered words. Le langage de la vache-qui-rit.
303-318
- Zhi-Xiong Wen, Zhi-Ying Wen:
Mots infinis et produits de matrices à coefficents polynomiaux.
319-344
- Matthias Krause, Christoph Meinel, Stephan Waack:
Separating complexity classes related to certain input oblivious logarithmic space-bounded turing machines.
345-362
- Jeanne Devolder, E. Timmerman:
Finitary codes for biinfinite words.
363-386
- Danièle Gardy, Dominique Gouyou-Beauchamps:
Enumerating Davenport-Schinzel sequences.
387-402
- Bernhard Steffen, C. Barry Jay, Michael Mendler:
Compositional characterization of observable program properties.
403-424
- Jean-Luc Lambert:
The local catenativity of DOL-sequences in free communitative monoids is decidable in the binary case.
425-438
- Victor J. Rayward-Smith, D. Rebaine:
Open shop scheduling with delays.
439-448
- M. Kabil, M. Pouzet:
Une extension d'un théorème de P. Jullien sur les âges de mots.
449-484
- O. Simon:
Algorithme de multiplicativité des sommes des carrés.
485-506
- Matthias Krause:
Separating +L from L, NL, co-NL, and AL=P for oblivious turing machines of linear access.
507-540
- L. Lacaze:
Parties reconnaissables de monoïdes déinis par générateurs et relations.
541-552
- Pierre Péladeau:
Sur le produit avec compteur modulo un nombre entier.
553-564
- Do Long Van, Bertrand Le Saëc, Igor Litovsky:
On coding morphisms for zigzag codes.
565-
Copyright © Thu Nov 12 01:55:00 2009
by Michael Ley (ley@uni-trier.de)
