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=J. Comput.~Syst.~Sci. AND YEAR=1976
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computation sequence sets
James Peterson
Journal of Computer and System Sciences
13
, 1976, pp. 1-24
Storage requirements for deterministic polynomial time recognizable languages
Stephen Cook
Journal of Computer and System Sciences
13
, 1976, pp. 25-37
A result on the equivalence problem for deterministic pushdown automata
Kenichi Taniguchi
,
Tadao Kasami
Journal of Computer and System Sciences
13
, 1976, pp. 38-50
On the sequential nature of functions
Patrick Fischer
,
Edward Robertson
,
Lawrence Saxton
Journal of Computer and System Sciences
13
, 1976, pp. 51-68
A nonlinear lower bound on linear search tree programs for solving Knapsack problems
David Dobkin
Journal of Computer and System Sciences
13
, 1976, pp. 69-73
A characterization of automata and a direct product decomposition
Yoshifumi Masunaga
,
Shoichi Noguchi
Journal of Computer and System Sciences
13
, 1976, pp. 74-89
Context-free grammars with graph-controlled tables
G. Rozenberg
,
A. Salomaa
Journal of Computer and System Sciences
13
, 1976, pp. 90-99
Complexity-class-encoding sets
Nancy Lynch
Journal of Computer and System Sciences
13
, 1976, pp. 100-118
The halting problem for linear Turing assemblers
Robert M. Baer
,
Jan van Leeuwen
Journal of Computer and System Sciences
13
, 1976, pp. 119-135
Indecomposable parallel maps in tessellation structures
Serafino Amoroso
,
Irving J. Epstein
Journal of Computer and System Sciences
13
, 1976, pp. 136-142
On the structure of Abelian automata
Yukio Shibata
Journal of Computer and System Sciences
13
, 1976, pp. 143-152
A useful device for showing the solvability of some decision problems
Oscar Ibarra
,
Chul Kim
Journal of Computer and System Sciences
13
, 1976, pp. 153-160
Hazard analysis of asynchronous circuits in Muller-Bartky's sense
A. Nozaki
Journal of Computer and System Sciences
13
, 1976, pp. 161-171
Automaton introspection
Richard Laing
Journal of Computer and System Sciences
13
, 1976, pp. 172-183
Finding the median
A. Schönhage
,
M. Paterson
,
N. Pippenger
Journal of Computer and System Sciences
13
, 1976, pp. 184-199
Varieties of ordered algebras
Stephen L. Bloom
Journal of Computer and System Sciences
13
, 1976, pp. 200-212
Some convergence results on the method of gradients for
Ax=\lambda Bx
S.F. McCormick
Journal of Computer and System Sciences
13
, 1976, pp. 213-222
Un théorème de duplication pour les forêts algébriques
André Arnold
,
Max Dauchet
Journal of Computer and System Sciences
13
, 1976, pp. 223-244
Surjectivity of nondeterministic parallel maps induced by nondeterministic cellular automata
Takeo Yaku
Journal of Computer and System Sciences
12
, 1976, pp. 1-5
Continuous self-reproduction
D. Richardson
Journal of Computer and System Sciences
12
, 1976, pp. 6-12
The semigroup of an algebra automaton
F. Joanne Helton
Journal of Computer and System Sciences
12
, 1976, pp. 13-24
Neighborhood search algorithms for guaranteeing optimal traveling salesman tours must be inefficient
Sam Savage
,
Peter Weiner
,
A. Bagchi
Journal of Computer and System Sciences
12
, 1976, pp. 25-35
A completeness property of one-dimensional tessellation automata
Masakazu Nasu
,
Namio Honda
Journal of Computer and System Sciences
12
, 1976, pp. 36-48
Interactive languages
Yoshinori Ezawa
,
Masaharu Mizumoto
,
Junichi Toyoda
,
Kokichi Tanaka
Journal of Computer and System Sciences
12
, 1976, pp. 49-63
The derivation language of a phrase structure grammar
Johnson M. Hart
Journal of Computer and System Sciences
12
, 1976, pp. 64-79
Seiten 1
2
>