60. Birthday:
Arto Salomaa,
1994
Juhani Karhumäki, Hermann A. Maurer, Grzegorz Rozenberg (Eds.):
Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings.
Lecture Notes in Computer Science 812 Springer 1994, ISBN 3-540-58131-6 BibTeX
@proceedings{DBLP:conf/birthday/1994salomaa,
editor = {Juhani Karhum{\"a}ki and
Hermann A. Maurer and
Grzegorz Rozenberg},
title = {Results and Trends in Theoretical Computer Science, Colloquium
in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings},
booktitle = {Results and Trends in Theoretical Computer Science},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {812},
year = {1994},
isbn = {3-540-58131-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Nils Andersen, Neil D. Jones:
Generalizing Cook's Transformation to Imperative Stack Programs.
1-18 BibTeX
- Jean Berstel:
A Rewriting of Fife's Theorem about Overlap-Free Words.
19-29 BibTeX
- Wilfried Brauer, Ute Brauer:
Reconsidering the Jeep Problem - Or How to Transport a Birthday Present to Salosauna.
30-33 BibTeX
- Anne Brüggemann-Klein, Petra Fischer, Thomas Ottmann:
Learning Picture Sets from Examples.
34-43 BibTeX
- Cristian Calude, Helmut Jürgensen:
Randomness as an Invariant for Number Representations.
44-66 BibTeX
- Erzsébet Csuhaj-Varjú:
Cooperating Grammars' Systems: Power and Parameters.
67-84 BibTeX
- Karel Culik II, Jarkko Kari:
Parallel Pattern Generation with One-Way Communications.
85-96 BibTeX
- Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Dynamic Labeled 2-Structures with Variable Domains.
97-123 BibTeX
- Joost Engelfriet:
Deciding the NTS Property of Context-Free Grammars.
124-130 BibTeX
- Ferenc Gécseg:
Homomorphic Representations by Producs of Tree Automata.
131-139 BibTeX
- Tero Harju, Hendrik Jan Hoogeboom, H. C. M. Kleijn:
Identities and Transductions.
140-144 BibTeX
- Tero Harju, Grzegorz Rozenberg:
Decompostion of Infinite Labeled 2-Structures.
145-158 BibTeX
- Juha Honkala:
An Iteratio Property of Lindenmayerioan Power Series.
159-168 BibTeX
- Juraj Hromkovic, Juhani Karhumäki, Arto Lepistö:
Comparing Descriptional and Computational Complexity of Infinite Words.
169-182 BibTeX
- Oscar H. Ibarra, Tao Jiang:
On Some Open Problems Concerning the Complexity of Cellular Arrays.
183-196 BibTeX
- Lila Kari:
Power of Controlled Insertion and Deletion.
197-212 BibTeX
- Alica Kelemenová, Jozef Kelemen:
From Colonies to Eco(grammar)systems.
213-231 BibTeX
- Werner Kuich:
On the Multiplicity Equivalence Problem for Context-free Grammars.
232-250 BibTeX
- G. S. Makanin, Habib Abdulrab:
On General Solution of Word Equations.
251-263 BibTeX
- Alexandru Mateescu:
On (Left) Partial Shuffle.
264-278 BibTeX
- Hermann A. Maurer:
Learning Theoretical Aspects is Important but (Sometimes) Dangerous.
279-288 BibTeX
- Mogens Nielsen, Christian Clausen:
Bisimulation, Games, and Logic.
289-306 BibTeX
- Valtteri Niemi, Ari Renvall:
Cryptographic Protocols and Voting.
307-317 BibTeX
- Hannu Nurmi:
Cryptographic Protocols for Auctions and Bargaining.
317-324 BibTeX
- Gheorghe Paun, Jürgen Dassow, Stefan Skalla:
On the Size of Components of Cooperating Grammar Systems.
325-343 BibTeX
- Azaria Paz:
An Elementary Algorithmic Problem from an Advanced Standpoint.
344-357 BibTeX
- Keijo Ruohonen:
Event Detection for ODEs and Nonrecursive Hierarchies.
358-371 BibTeX
- Kai Salomaa, Derick Wood, Sheng Yu:
Rediscovering Pushdown Machines.
372-385 BibTeX
- Imre Simon:
String Matching Algorithms and Automata.
386-395 BibTeX
- Magnus Steinby:
Classifying Regular Languages by their Syntactic Algebras.
396-409 BibTeX
- Paavo Turakainen:
On Polynomial Matrix Equations X T = p(X) and X = p(X). Where all Parameters are Nonnegative.
410-421 BibTeX
- Emo Welzl:
Gram's Equation - A Probabilistic Proof.
422-424 BibTeX
Copyright © Sat May 16 22:59:38 2009
by Michael Ley (ley@uni-trier.de)