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 YEAR=1978
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A synthesis of several sorting algorithms
J. Darlington
Acta Informatica
11
(1), 1978, pp. 1-30
Proving and applying program transformations expressed with second-order patterns
G. Huet
,
B. Lang
Acta Informatica
11
(1), 1978, pp. 31-55
Remarks on 'some comments on concurrent readers and writers' by Reidar Conradi
A. Silberschatz
,
B. Johnson
Acta Informatica
11
(1), 1978, pp. 57-60
Improved time and space bounds for Boolean matrix multiplication
L. Adleman
,
K.S. Booth
,
F.P. Preparata
,
W.L. Ruzzo
Acta Informatica
11
(1), 1978, pp. 61-70
Complexity hierarchies for Boolean functions
W.F. McColl
Acta Informatica
11
(1), 1978, pp. 71-77
Precedence relations in grammar forms
S. Ginsburg
,
D. Wood
Acta Informatica
11
(1), 1978, pp. 79-88
Hierarchy theorems for two-way finite state transducers
S.A. Greibach
Acta Informatica
11
(1), 1978, pp. 89-101
Proof rules for the programming language Euclid
R.L. London
,
J.V. Guttag
,
J.J. Horning
,
B.W. Lampson
,
J.G. Mitchell
,
G.J. Popek
Acta Informatica
10
(1), 1978, pp. 1-26
The algebraic specification of abstract data types
J.V. Guttag
,
J.J. Horning
Acta Informatica
10
(1), 1978, pp. 27-52
Algebraic program testing
W.E. Howden
Acta Informatica
10
(1), 1978, pp. 53-66
Bounded quantification and relations recognizable by finite automata
T. Laurinolli
Acta Informatica
10
(1), 1978, pp. 67-78
The ultimate equivalence problem for DOL systems
K. Culik II
Acta Informatica
10
(1), 1978, pp. 79-84
Information management in context trees
C. Montangero
,
G. Pacini
,
M. Simi
,
F. Turini
Acta Informatica
10
(1), 1978, pp. 85-94
Performance analysis of multiprocessor systems containing functionally dedicated processors
J.W.S. Liu
,
C.L. Liu
Acta Informatica
10
(1), 1978, pp. 95-104
A conservation law for g/g/m queueing systems
B. Bartsch
,
G. Bolch
Acta Informatica
10
(1), 1978, pp. 105-109
Time-space trade-offs in a pebble game
W.J. Paul
,
R.E. Tarjan
Acta Informatica
10
(2), 1978, pp. 111-115
Ianov pushdown schemes are contained in Boolean recursive schemes
M. Ben-Ari
Acta Informatica
10
(2), 1978, pp. 117-125
Equivalence transformations of program schemes
V.K. Sabelfeld
Acta Informatica
10
(2), 1978, pp. 127-155
The design of a portable programming language
P.J.L. Wallis
Acta Informatica
10
(2), 1978, pp. 157-167
A note on classes of complements and the LBA problem
D. Wotschke
,
G. Wrathall
Acta Informatica
10
(2), 1978, pp. 169-173
A class of linearly parsable graph grammars
R. Franck
Acta Informatica
10
(2), 1978, pp. 175-201
Linear regular sets
C.J. Maxson
Acta Informatica
10
(2), 1978, pp. 203-208
The ELL(1) parser generator and the error recovery mechanism
J. Lewi
,
K. de Vlaminck
,
J. Huens
,
M. Huybrechts
Acta Informatica
10
(3), 1978, pp. 209-228
On removing the machine from the language
E.C.R. Hehner
Acta Informatica
10
(3), 1978, pp. 229-243
The method of attributes for data flow analysis. I. Exhaustive analysis
W.A. Babich
,
M. Jazayeri
Acta Informatica
10
(3), 1978, pp. 245-264
Seiten 1
2
>