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=10
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
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
The method of attributes for data flow analysis. II. Demand analysis
W.A. Babich
,
M. Jazayeri
Acta Informatica
10
(3), 1978, pp. 265-272
Optimal alpha-beta trees with capacity constraint
D.M. Choy
,
C.K. Wong
Acta Informatica
10
(3), 1978, pp. 273-296
On the complementation rule for multivalued dependencies in database relations
J. Biskup
Acta Informatica
10
(3), 1978, pp. 297-305
Incremental LR parsers
A. Celentano
Acta Informatica
10
(4), 1978, pp. 307-321
Two-level meta-controlled substitution grammars
R. Meersman
,
G. Rozenberg
Acta Informatica
10
(4), 1978, pp. 323-339
The semigroups of linearly realizable finite automata. I
L. Eichner
Acta Informatica
10
(4), 1978, pp. 341-367
The semigroups of linearly realizable finite automata. II
L. Eichner
Acta Informatica
10
(4), 1978, pp. 369-390