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=1983
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On hierarchies of abstract data types
M. Wirsing
,
P. Pepper
,
H. Partsch
,
W. Dosch
Acta Informatica
20
(1), 1983, pp. 1-33
General predicate transformer and the semantics of a programming language with goto statement
J. He
Acta Informatica
20
(1), 1983, pp. 35-57
A sound and relatively complete Hoare-logic for a language with higher type procedures
W. Damm
,
B. Josko
Acta Informatica
20
(1), 1983, pp. 59-101
On sets of Boolean n-vectors with all k-projections surjective
A.K. Chandra
,
L.T. Kou
,
G. Markowsky
Acta Informatica
20
(1), 1983, pp. 103-111
A note on multi-queue scheduling of two tasks
H. Kameda
Acta Informatica
20
(2), 1983, pp. 113-120
Performances of an algorithm constructing a nearly optimal binary tree
H. Akdag
Acta Informatica
20
(2), 1983, pp. 121-132
Two-symbol DOS systems generating regular languages
W. Bucher
Acta Informatica
20
(2), 1983, pp. 133-142
On the relationship of minimum and optimum covers for a set of functional dependencies
H. Mannila
,
K.-J. Raiha
Acta Informatica
20
(2), 1983, pp. 143-158
On the semantics of polymorphism
M. Coppo
Acta Informatica
20
(2), 1983, pp. 159-170
NP
-complete problems simplified on tree schemas
N. Goodman
,
O. Shmueli
Acta Informatica
20
(2), 1983, pp. 171-178
Hierarchy and closure properties of various classes of tag-systems
J.-J. Pansiot
Acta Informatica
20
(2), 1983, pp. 179-196
A three-stage construction for multiconnection networks
C. Ronse
Acta Informatica
20
(2), 1983, pp. 197-206
The temporal logic of branching time
M. Ben-Ari
,
A. Pnueli
,
Z. Manna
Acta Informatica
20
(3), 1983, pp. 207-226
Pattern matching in trees and nets
H.-U. Simon
Acta Informatica
20
(3), 1983, pp. 227-248
Rational set of trees and the algebraic semantics of logic programming
G. Marque-Pucheu
Acta Informatica
20
(3), 1983, pp. 249-260
Task allocation in fault-tolerant distributed systems
J.A. Bannister
,
K.S. Trivedi
Acta Informatica
20
(3), 1983, pp. 261-281
LR parsing for affix grammars
W. Pohlmann
Acta Informatica
20
(4), 1983, pp. 283-300
A general proof rule for procedures in predicate transformer semantics
A.J. Martin
Acta Informatica
20
(4), 1983, pp. 301-313
A relational approach to the design of deterministic programs
A. Mili
Acta Informatica
20
(4), 1983, pp. 315-328
Product properties and their direct verification
N. Francez
Acta Informatica
20
(4), 1983, pp. 329-344
On the performance evaluation of extendible hashing and trie searching
P. Flajolet
Acta Informatica
20
(4), 1983, pp. 345-369
On the generative power of regular pattern grammars
H.C.M. Kleijn
,
G. Rozenberg
Acta Informatica
20
(4), 1983, pp. 391-411
An optimality theory of concurrency control for databases
H.T. Kung
,
C.H. Papadimitriou
Acta Informatica
19
(1), 1983, pp. 1-11
Transposition of large tabular data structures with applications to physical database organization. I. Transposition of tabular data structures
T. Tsuda
,
T. Sato
Acta Informatica
19
(1), 1983, pp. 13-33
Storage utilization in b*-trees with a generalized overflow technique
K. Kuspert
Acta Informatica
19
(1), 1983, pp. 35-55
Seiten 1
2
3
>