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
[1]
Hilfe
Suche: Journal=J. Comput.~Syst.~Sci. AND YEAR=1970
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Recursive function theory and numerical analysis
Webb Miller
Journal of Computer and System Sciences
4
, 1970, pp. 465-472
Invariant embedding, difference equations, and elliptic boundary value problems
Edward Angel
Journal of Computer and System Sciences
4
, 1970, pp. 473-491
An hierarchy between context-free and context-sensitive languages
Takumi Kasai
Journal of Computer and System Sciences
4
, 1970, pp. 492-508
Uniform rational approximation with osculatory interpolation
A.L. Perrie
Journal of Computer and System Sciences
4
, 1970, pp. 509-522
A characterization of two-way deterministic classes of languages
A.V. Aho
,
J.D. Ullman
Journal of Computer and System Sciences
4
, 1970, pp. 523-538
Algebraic structures in linear systems theory
Y. Give'on
,
Y. Zalcstein
Journal of Computer and System Sciences
4
, 1970, pp. 539-556
An application of the epsilon technique to the solution of pursuit and evasion problems
Yoshiyuri Sakawa
Journal of Computer and System Sciences
4
, 1970, pp. 557-569
Cutting plane algorithms and state space constrained linear optimal control problems
Kailash C. Kapur
,
Richard M. van Slyke
Journal of Computer and System Sciences
4
, 1970, pp. 570-605
Time- and tape-bounded Turing acceptors and AFLs
Ronald V. Book
,
Sheila A. Greibach
,
Ben Wegbreit
Journal of Computer and System Sciences
4
, 1970, pp. 606-621
Tape-bounded Turing acceptors and principal AFLs
Ronald V. Book
,
Sheila A. Greibach
,
Oscar H. Ibarra
,
Ben Wegbreit
Journal of Computer and System Sciences
4
, 1970, pp. 622-625
Seiten
<
1
2