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=19
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Correctness proofs of syntax-directed processing descriptions by attributes
C. Pair
,
M. Amirchahy
,
D. Neel
Journal of Computer and System Sciences
19
(1), 1979, August, pp. 1-17
Automorphisms of linear automata
C.J. Maxson
,
K.C. Smith
Journal of Computer and System Sciences
19
(1), 1979, August, pp. 18-26
Final algebra semantics and data type extensions
M. Wand
Journal of Computer and System Sciences
19
(1), 1979, August, pp. 27-44
The decidability of equivalence for deterministic finite transducers
M. Blattner
,
T. Head
Journal of Computer and System Sciences
19
(1), 1979, August, pp. 45-49
Parameter passing in nondeterministic recursive programs
D.B. Benson
Journal of Computer and System Sciences
19
(1), 1979, August, pp. 50-62
A hierarchy of deterministic languages
M.A. Harrison
,
A. Yehudai
Journal of Computer and System Sciences
19
(1), 1979, August, pp. 63-78
Superdeterministic DPDAS: the method for accepting does affect decision problems
E.P. Friedman
,
S.A. Greibach
Journal of Computer and System Sciences
19
(1), 1979, August, pp. 79-117
A simulation result for the auxiliary pushdown automata
T. Harju
Journal of Computer and System Sciences
19
(2), 1979, October, pp. 119-132
Computable stack functions for semantics of stack programs
G. Germano
,
A. Maggiolo-Schettini
Journal of Computer and System Sciences
19
(2), 1979, October, pp. 133-144
Simple counter machines and number-theoretic problems
E.M. Gurari
,
O.H. Ibarra
Journal of Computer and System Sciences
19
(2), 1979, October, pp. 145-162
Least fixed point of a functor
J. Adamek
,
V. Koubek
Journal of Computer and System Sciences
19
(2), 1979, October, pp. 163-178
On recursion in ET0L systems
G. Rozenberg
,
D. Vermeir
Journal of Computer and System Sciences
19
(2), 1979, October, pp. 179-196
On time hierarchies
W.J. Paul
Journal of Computer and System Sciences
19
(2), 1979, October, pp. 197-202
Codeterministic Lindenmayer schemes and systems
T. Head
Journal of Computer and System Sciences
19
(2), 1979, October, pp. 203-210
Group character tables in discrete transform theory
S.V. Kanetkar
,
M.D. Wagh
Journal of Computer and System Sciences
19
(3), 1979, December, pp. 211-221
Observations on the complexity of regular expression problems
H.B. Hunt III
Journal of Computer and System Sciences
19
(3), 1979, December, pp. 222-236
On ET0L systems with rank
A. Ehrenfeucht
,
G. Rozenberg
,
D. Vermeir
Journal of Computer and System Sciences
19
(3), 1979, December, pp. 237-255
Reset machines
R.V. Book
,
C. Wrathall
,
S.A. Greibach
Journal of Computer and System Sciences
19
(3), 1979, December, pp. 256-276
Universal realization
G. Naude
Journal of Computer and System Sciences
19
(3), 1979, December, pp. 277-289
Semantics of nondeterminism, concurrency, and communication
N. Francez
,
C.A.R. Hoare
,
D.J. Lehmann
,
W.P. de Roever
Journal of Computer and System Sciences
19
(3), 1979, December, pp. 290-308
Sorting using networks of deques
A. Nozaki
Journal of Computer and System Sciences
19
(3), 1979, December, pp. 309-315