Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=127
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A formal derivation of the decidability of the theory SA
C. Hosono
,
Y. Ikeda
Theoretical Computer Science
127
(1), 1994, pp. 1-23
Synchronized tree automata
Kai Salomaa
Theoretical Computer Science
127
(1), 1994, pp. 25-51
Parallel RAM algorithms for factorizing words
J.W. Daykin
,
C.S. Iliopoulos
,
W.F. Smyth
Theoretical Computer Science
127
(1), 1994, pp. 53-67
Bottom-up tree pushdown automata: Classification and connection with rewrite systems
Jean-Luc Coquidé
,
Max Dauchet
,
Rémi Gilleron
,
Sándor Vágvŏlgyi
Theoretical Computer Science
127
(1), 1994, pp. 69-98
Oracle computations in parallel numerical linear algebra
B. Codenotti
,
M. Leoncini
,
G. Resta
Theoretical Computer Science
127
(1), 1994, pp. 99-121
Some hierarchies for the communication complexity measures of cooperating grammar systems
Juraj Hromkovic̑
,
Jarkko Kari
,
Lila Kari
Theoretical Computer Science
127
(1), 1994, pp. 123-147
Cancellation in context-free languages: Enrichment by reduction
M. Jantzen
,
H. Petersen
Theoretical Computer Science
127
(1), 1994, pp. 149-170
On 1-inkdot alternating Turing machines with small space
Katsushi Inoue
,
Akira Ito
,
Itsuo Takanami
Theoretical Computer Science
127
(1), 1994, pp. 171-179
P-complete problems in data compression
Sergio de Agostino
Theoretical Computer Science
127
(1), 1994, pp. 181-186
Polyominoes defined by two vectors
Alberto Del Lungo
Theoretical Computer Science
127
(1), 1994, pp. 187-198
Balance in AVL trees and space cost of brother trees
Helen Cameron
,
Derick Wood
Theoretical Computer Science
127
(2), 1994, pp. 199-228
Rice's theorem for the limit sets of cellular automata
Jarkko Kari
Theoretical Computer Science
127
(2), 1994, pp. 229-254
On-line algorithms for weighted bipartite matching and stable marriages
Samir Khuller
,
Stephen G. Mitchell
,
Vijay V. Vazirani
Theoretical Computer Science
127
(2), 1994, pp. 255-267
On generalized DT0L systems and their fixed points
Juha Honkala
Theoretical Computer Science
127
(2), 1994, pp. 269-286
Periodic sets of integers
Armando B. Matos
Theoretical Computer Science
127
(2), 1994, pp. 287-312
Seven-state solutions to the firing squad synchronization problem
J.B. Yunès
Theoretical Computer Science
127
(2), 1994, pp. 313-332
The random generation of directed animals
E. Barcucci
,
R. Pinzani
,
R. Sprugnoli
Theoretical Computer Science
127
(2), 1994, pp. 333-350
Program size restrictions in computational learning
Sanjay Jain
,
Arun Sharma
Theoretical Computer Science
127
(2), 1994, pp. 351-386
Hyperedge channels are abelian
A.H. Deutz
,
A. Ehrenfeucht
,
G. Rozenberg
Theoretical Computer Science
127
(2), 1994, pp. 387-393
Note on optimal gossiping in some weak-connected graphs
Juraj Hromkovic̑
,
Claus-Dieter Jeschke
,
Burkhard Monien
Theoretical Computer Science
127
(2), 1994, pp. 395-402