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