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=8
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Left-derivation bounded languages
S.J. Walljasper
Journal of Computer and System Sciences
8
, 1974, pp. 1-7
Ambiguity and decision problems for local adjunct languages
Johnson Murdoch Hart
Journal of Computer and System Sciences
8
, 1974, pp. 8-21
On transformations of programs
Richard Bird
Journal of Computer and System Sciences
8
, 1974, pp. 22-35
Structure des grammaires d'ambiguité bornée
J.P. Crestin
Journal of Computer and System Sciences
8
, 1974, pp. 36-40
On periodicity of sequential machines
Ratan K. Guha
,
Raymond T. Yeh
Journal of Computer and System Sciences
8
, 1974, pp. 41-70
Program schemata and the first-order decision problem
Harry R. Lewis
Journal of Computer and System Sciences
8
, 1974, pp. 71-83
Classes of discrete optimization problems and their decision problems
Toshihide Ibaraki
Journal of Computer and System Sciences
8
, 1974, pp. 84-116
Theories of automata on
\omega
-tapes: A simplified approach
Yaacov Choueka
Journal of Computer and System Sciences
8
, 1974, pp. 117-141
A geometric hierarchy of languages
Nabil A. Khabbaz
Journal of Computer and System Sciences
8
, 1974, pp. 142-157
On vector languages
A.B. Cremers
,
O. Mayer
Journal of Computer and System Sciences
8
, 1974, pp. 158-166
Deterministic multitape automata computations
Yoshihide Igarashi
,
Namio Honda
Journal of Computer and System Sciences
8
, 1974, pp. 167-189
Predecessor machines
Patrick C. Fischer
,
John C. Warkentin
Journal of Computer and System Sciences
8
, 1974, pp. 190-219
Solution of eigenvalue problems in Hilbert spaces by a gradient method
E.K. Blum
,
G.H. Rodrigue
Journal of Computer and System Sciences
8
, 1974, pp. 220-237
Comment on the paper ``Error detection in formal languages''
György Révész
Journal of Computer and System Sciences
8
, 1974, pp. 238-242
The equivalence of stack-counter acceptors and quasi-realtime stack-counter acceptors
Seymour Ginsburg
,
Gene F. Rose
Journal of Computer and System Sciences
8
, 1974, pp. 243-269
Fast algorithms for bin packing
David S. Johnson
Journal of Computer and System Sciences
8
, 1974, pp. 272-314
Reversal-bounded multipushdown machines
Brenda S. Baker
,
Ronald V. Book
Journal of Computer and System Sciences
8
, 1974, pp. 315-332
On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
J.A., Jr. Goguen
Journal of Computer and System Sciences
8
, 1974, pp. 333-365
Fast modular transforms
A. Borodin
,
R. Moenck
Journal of Computer and System Sciences
8
, 1974, pp. 366-386
Translatability of schemas over restricted interpretations
A.J. Kfoury
Journal of Computer and System Sciences
8
, 1974, pp. 387-408
A generalized approach to formal languages
T.S.E. Maibaum
Journal of Computer and System Sciences
8
, 1974, pp. 409-439