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=1972
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computation of powers of multivariate polynomials over the integers
Lee H. Heindel
Journal of Computer and System Sciences
6
, 1972, pp. 1-8
Substitution and bounded languages
Jonathan Goldstine
Journal of Computer and System Sciences
6
, 1972, pp. 9-29
Syntactic operators on full semiAFLs
Sheila A. Greibach
Journal of Computer and System Sciences
6
, 1972, pp. 30-76
Effective operators with no strong gaps
Andy N.C. Kang
Journal of Computer and System Sciences
6
, 1972, pp. 77-87
On program schemata equivalence
V.E. Itkin
,
Z. Zwinogrodzki
Journal of Computer and System Sciences
6
, 1972, pp. 88-101
A phenomenon in the theory of sorting
David Gale
,
Richard M. Karp
Journal of Computer and System Sciences
6
, 1972, pp. 103-115
Tape bounds for time-bounded Turing machines
Michael S. Paterson
Journal of Computer and System Sciences
6
, 1972, pp. 116-124
Equivalence of programs with structured variables
A.V. Aho
,
J.D. Ullman
Journal of Computer and System Sciences
6
, 1972, pp. 125-137
Pushdown automata with counters
T. Kameda
Journal of Computer and System Sciences
6
, 1972, pp. 138-150
Locally testable languages
Yechezkel Zalcstein
Journal of Computer and System Sciences
6
, 1972, pp. 151-167
Writing stack acceptors
Joseph Alphonso Giuliano
Journal of Computer and System Sciences
6
, 1972, pp. 168-204
Complete linear proofs of systems of linear inequalities
P.M. Spira
Journal of Computer and System Sciences
6
, 1972, pp. 205-216
A homomorphism theorem for weighted context-free grammars
Donald F. Stanat
Journal of Computer and System Sciences
6
, 1972, pp. 217-232
Real-time language recognition by one-dimensional cellular automata
Alvy Ray Smith III
Journal of Computer and System Sciences
6
, 1972, pp. 233-253
Combinatorial systems I. Cylindrical problems
J.P. Cleave
Journal of Computer and System Sciences
6
, 1972, pp. 254-266
The relation between derivations and syntactical structures in phrase-structure grammars
Jürgen Eickel
,
Jacques Loeckx
Journal of Computer and System Sciences
6
, 1972, pp. 267-282
Les 1-convexes du monoïde commutatif
N^n
Philippe Butzbach
Journal of Computer and System Sciences
6
, 1972, pp. 283-289
The equivalence of several initial value methods for solving integral equations
Michael A. Golberg
Journal of Computer and System Sciences
6
, 1972, pp. 291-297
Discrete Tchebycheff approximation for multivariate splines
Martin H. Schultz
Journal of Computer and System Sciences
6
, 1972, pp. 298-304
An interpretation-oriented theorem prover over integers
James C. King
,
Robert W. Floyd
Journal of Computer and System Sciences
6
, 1972, pp. 305-323
Absolutely parallel grammars and two-way finite-state transducers
Vaclav Rajlich
Journal of Computer and System Sciences
6
, 1972, pp. 324-342
The Riccati equation and its bounds
R.S. Bucy
Journal of Computer and System Sciences
6
, 1972, pp. 343-353
A general approach to one-step iterative methods with application to eigenvalue problems
Steve F. McCormick
Journal of Computer and System Sciences
6
, 1972, pp. 354-372
Tessellations with local transformations
D. Richardson
Journal of Computer and System Sciences
6
, 1972, pp. 373-388
Degrees of computational complexity
H.B. Enderton
Journal of Computer and System Sciences
6
, 1972, pp. 389-396
Seiten 1
2
>