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=6
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Continuously valued logic
F.P. Preparata
,
R.T. Yeh
Journal of Computer and System Sciences
6
, 1972, pp. 397-418
A generalization of the theory of incompletely specified machines
D.E. Muller
,
R.E. Miller
Journal of Computer and System Sciences
6
, 1972, pp. 419-447
Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures
S. Amoroso
,
Y.N. Patt
Journal of Computer and System Sciences
6
, 1972, pp. 448-464
The Markov algorithm as a language parser - linear bounds
Jacob Katzenelson
Journal of Computer and System Sciences
6
, 1972, pp. 465-478
Subrecursive program schemata I & II: I. Undecidable equivalence problems: II. Decidable equivalence problems
R.L. Constable
,
S.S. Muchnik
Journal of Computer and System Sciences
6
, 1972, pp. 480-537
Generalized overlap resolvable grammars and their parsers
David S. Wise
Journal of Computer and System Sciences
6
, 1972, pp. 538-572
Optimization of
LR(k)
parsers
A.V. Aho
,
J.D. Ullman
Journal of Computer and System Sciences
6
, 1972, pp. 573-602
Augmented loop languages and classes of computables functions
Michael Machtey
Journal of Computer and System Sciences
6
, 1972, pp. 603-624
Efficient evaluation of polynomial forms
Ian Munro
,
Allan Borodin
Journal of Computer and System Sciences
6
, 1972, pp. 625-638
Proving simultaneous positivity of linear forms
Michael O. Rabin
Journal of Computer and System Sciences
6
, 1972, pp. 639-650
Seiten
<
1
2