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 Volume=10
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Discrete-time machines in closed monoidal categories I
J.A. Goguen
Journal of Computer and System Sciences
10
, 1975, pp. 1-43
Effective proper procedures and universal classes of program schemata
Victor Harnik
Journal of Computer and System Sciences
10
, 1975, pp. 44-61
On tape-bounded complexity classes and multihead finite automata
I.H. Sudborough
Journal of Computer and System Sciences
10
, 1975, pp. 62-76
Some clarifications of the concept of a garden-of-Eden configuration
Serfino Amoroso
,
Gerald Cooper
,
Yale Patt
Journal of Computer and System Sciences
10
, 1975, pp. 77-82
Splitting a context-sensitive set
James C., Jr. Owings
Journal of Computer and System Sciences
10
, 1975, pp. 83-87
Two-way
A
-transducers and AFL
Donald I. Kiel
Journal of Computer and System Sciences
10
, 1975, pp. 88-109
Proving assertions about parallel programs
E.A. Ashcroft
Journal of Computer and System Sciences
10
, 1975, pp. 110-135
Tree adjunct grammars
Aravind K. Joshi
,
Leon S. Levy
,
Masako Takahashi
Journal of Computer and System Sciences
10
, 1975, pp. 136-163
Uniformly erasable AFL
Seymour Ginsburg
,
Jonathan Goldstine
,
Sheila Greibach
Journal of Computer and System Sciences
10
, 1975, pp. 165-182
On the density of honest subrecursive classes
Michael Machtey
Journal of Computer and System Sciences
10
, 1975, pp. 183-199
The decidability of a mapping problem for generalized sequential machines with final states
Kenneth B. Salomon
Journal of Computer and System Sciences
10
, 1975, pp. 200-218
Various kinds of automata with weights
M. Mizumoto
,
J. Toyoda
,
K. Tanaka
Journal of Computer and System Sciences
10
, 1975, pp. 219-236
One counter languages and the IRS condition
S.A. Greibach
Journal of Computer and System Sciences
10
, 1975, pp. 237-247
Reproduction in tessellation structures
Wallace L. Hamilton
,
John R., Jr. Mertens
Journal of Computer and System Sciences
10
, 1975, pp. 248-252
On causal
\omega^2
-systems
Akira Nakamura
Journal of Computer and System Sciences
10
, 1975, pp. 253-265
Natural state transformations
Suad Alagić
Journal of Computer and System Sciences
10
, 1975, pp. 266-307
General context-free recognition in less than cubic time
Leslie G. Valiant
Journal of Computer and System Sciences
10
, 1975, pp. 308-315
Two-way nested stack automata are equivalent to two-way stack automata
C. Beeri
Journal of Computer and System Sciences
10
, 1975, pp. 317-339
Deterministic one-counter automata
Leslie G. Valiant
,
Michael S. Paterson
Journal of Computer and System Sciences
10
, 1975, pp. 340-350
Some independent families of one-letter languages
Jonathan Goldstine
Journal of Computer and System Sciences
10
, 1975, pp. 351-369
Proving a compiler correct: A simple approach
G. Germano
,
A. Maggiolo-Schettini
Journal of Computer and System Sciences
10
, 1975, pp. 370-383
NP
-complete scheduling problems
J.D. Ullman
Journal of Computer and System Sciences
10
(3), 1975, pp. 384-393
Abstract families of length-preserving processors
Teresemarie McCloskey
Journal of Computer and System Sciences
10
, 1975, pp. 394-427