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=5
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On a question of S. Eilenberg
C. Reutenauer
Theoretical Computer Science
5
(2), 1977, pp. 219
Non-uniform partial-match file designs
W.A. Burkhard
Theoretical Computer Science
5
(1), 1977, pp. 1-23
On reduction of asynchronous systems
Y.S. Kwong
Theoretical Computer Science
5
(1), 1977, pp. 25-50
Etude syntaxique de certains langages solutions d'équations avec opérateurs
L. Chottin
Theoretical Computer Science
5
(1), 1977, pp. 51-84
Iterating iterated substitution
J. Engelfriet
Theoretical Computer Science
5
(1), 1977, pp. 85-100
On finite semigroups of matrices
A. Mandel
,
I. Simon
Theoretical Computer Science
5
(2), 1977, pp. 101-111
On the formal definition of dependencies between the control and information structure of a data space
A.B. Cremers
,
T.N. Hibbard
Theoretical Computer Science
5
(2), 1977, pp. 113-128
Produit dans le cône rationnel engendré par
D^*1
M. Latteux
Theoretical Computer Science
5
(2), 1977, pp. 129-134
Pascal in LCF: Semantics and examples of proof
L. Aiello
,
M. Aiello
,
R.W. Weybrauch
Theoretical Computer Science
5
(2), 1977, pp. 135-177
Cyclic ordering is
NP
-complete
Z. Galil
,
N. Megiddo
Theoretical Computer Science
5
(2), 1977, pp. 179-182
Un algorithme calculant le cardinal, fini ou infini, des demi-groupes de matrices
G. Jacob
Theoretical Computer Science
5
(2), 1977, pp. 183-204
The complexity of group algebra computations
M.D. Atkinson
Theoretical Computer Science
5
(2), 1977, pp. 205-209
Remarks on commutative N-rational series
J. Karhumäki
Theoretical Computer Science
5
(2), 1977, pp. 211-217
LCF considered as a programming language
G.D. Plotkin
Theoretical Computer Science
5
(3), 1977, pp. 223-255
Effectively given domains
M.B. Smyth
Theoretical Computer Science
5
(3), 1977, pp. 257-274
On the many facets of lists
C.C. Elgot
,
L. Snyder
Theoretical Computer Science
5
(3), 1977, pp. 275-305
Pushdown acceptor forms
S. Ginsburg
,
E.H. Spanier
Theoretical Computer Science
5
(3), 1977, pp. 307-320
A fundamental effect in computations on real numbers
H. Luckhardt
Theoretical Computer Science
5
(3), 1977, pp. 321-324
Une caracterisation des fonctions sequentielles et des fonctions sous-sequentielles en tant que relations rationnelles
C. Coffrut
Theoretical Computer Science
5
(3), 1977, pp. 325-337
Bibliography of L systems
G. Rozenberg
,
M. Penttonen
,
A. Salomaa
Theoretical Computer Science
5
(3), 1977, pp. 339-354