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=Acta Inf. AND Volume=5
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Revised report on the algorithmic language ALGOL 68
A. Van Wijngaarden
,
B.J. Mailloux
,
J.E.L. Peck
,
C.H.A. Koster
,
M. Sintzoff
,
C.H. Lindsey
,
L.G.L.T. Meertens
,
R.G. Fisker
Acta Informatica
5
, 1975, pp. 1-236
Dispatcher primitives for the construction of operating system kernels
J. Nehmer
Acta Informatica
5
, 1975, pp. 237-255
Interactive graphics on intelligent terminals in a time-sharing environment
W.K. Giloi
,
J. Encarnacao
,
S. Savitt
Acta Informatica
5
, 1975, pp. 257-271
Parallel algorithms for adaptive quadrature II metalgorithm correctness
John R. Rice
Acta Informatica
5
, 1975, pp. 273-285
Nearly optimal binary search trees
Kurt Mehlhorn
Acta Informatica
5
, 1975, pp. 287-295
Formal semantics of a class of high-level primitives for coordinating concurrent processes
P.E. Lauer
,
R.H. Campbell
Acta Informatica
5
, 1975, pp. 297-332
A closer look at termination
Shmuel Katz
,
Zohar Manna
Acta Informatica
5
, 1975, pp. 333-352
A decidability criterion for Van Wijngaarden grammars
P. Deussen
Acta Informatica
5
, 1975, pp. 353-375
Substitution of grammar forms
Seymour Ginsburg
,
Edwin H. Spanier
Acta Informatica
5
, 1975, pp. 377-386
A note on degrees of context-sensitivity
P.F. Schuler
Acta Informatica
5
, 1975, pp. 387-394