Volume 340,
Number 1,
June 2005
Theoretical Foundations of Security Analysis and Design II
Volume 340,
Issue 2,
June 2005
The Art of Theory - Preface
Editorial
Contributions
- Arto Salomaa:
Connections between subwords and certain matrix mappings.
188-203
Electronic Edition (link) BibTeX
- Isabel M. Araújo, Véronique Bruyère:
Words derivated from Sturmian words.
204-219
Electronic Edition (link) BibTeX
- Arturo Carpi, Aldo de Luca:
Codes of central Sturmian words.
220-239
Electronic Edition (link) BibTeX
- Clelia de Felice:
An enhanced property of factorizing codes.
240-256
Electronic Edition (link) BibTeX
- Stefano Crespi-Reghizzi, Matteo Pradella:
Tile rewriting grammars and picture languages.
257-272
Electronic Edition (link) BibTeX
- Tero Harju, Dirk Nowotka:
Counting bordered and primitive words with a fixed weight.
273-279
Electronic Edition (link) BibTeX
- Jean Berstel:
Growth of repetition-free words -- a review.
280-290
Electronic Edition (link) BibTeX
- Zoltán Ésik, Pascal Weil:
Algebraic recognizability of regular tree languages.
291-321
Electronic Edition (link) BibTeX
- Juhani Karhumäki, Michel Latteux, Ion Petre:
Commutation with codes.
322-333
Electronic Edition (link) BibTeX
- Jean-Pierre Borel, Christophe Reutenauer:
Palindromic factors of billiard words.
334-348
Electronic Edition (link) BibTeX
- Paola Bonizzoni, Giancarlo Mauri:
Regular splicing languages and subclasses.
349-363
Electronic Edition (link) BibTeX
- Christian Choffrut, Berke Durak:
Collage of two-dimensional words.
364-380
Electronic Edition (link) BibTeX
- Marie-Pierre Béal, Dominique Perrin:
Codes and sofic constraints.
381-393
Electronic Edition (link) BibTeX
- Alberto Bertoni, Carlo Mereghetti, Beatrice Palano:
Small size quantum automata recognizing some regular languages.
394-407
Electronic Edition (link) BibTeX
- Marcella Anselmo, Dora Giammarresi, Maria Madonia:
New operations and regular expressions for two-dimensional languages over one-letter alphabet.
408-431
Electronic Edition (link) BibTeX
- Julien Clément, Jean-Pierre Duval, Giovanna Guaiana, Dominique Perrin, Giuseppina Rindone:
Parsing with a finite dictionary.
432-442
Electronic Edition (link) BibTeX
- Jean-Eric Pin, Pedro V. Silva:
A topological approach to transductions.
443-456
Electronic Edition (link) BibTeX
Volume 340,
Number 3,
31 August 2005
Mathematical Foundations of Computer Science 2000
- Mogens Nielsen, Branislav Rovan:
Introduction - Combined TCSA/TCSB issue - mathematical foundations of computer science 2000.
457-458
Electronic Edition (link) BibTeX
- Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama:
Compositional characterisations of lambda-terms using intersection types.
459-495
Electronic Edition (link) BibTeX
- Arnaud Durand, Miki Hermann, Phokion G. Kolaitis:
Subtractive reductions and complete problems for counting complexity classes.
496-513
Electronic Edition (link) BibTeX
- Dimitris Fotakis, Sotiris E. Nikoletseas, Vicky G. Papadopoulou, Paul G. Spirakis:
Radiocoloring in planar graphs: Complexity and approximations.
514-538
Electronic Edition (link) BibTeX
- Ugo Montanari, Marco Pistore:
Structured coalgebras and minimal HD-automata for the pi-calculus.
539-576
Electronic Edition (link) BibTeX
- David Peleg:
Informative labeling schemes for graphs.
577-593
Electronic Edition (link) BibTeX
- Petr Savický, Detlef Sieling:
A hierarchy result for read-once branching programs with restricted parity nondeterminism.
594-605
Electronic Edition (link) BibTeX
- Lucian Wischik, Philippa Gardner:
Explicit fusions.
606-630
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:25:02 2009
by Michael Ley (ley@uni-trier.de)
