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=1986
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Predicative methodology
Eric C.R. Hehner
,
Lorene E. Gupta
,
Andrew J. Malton
Acta Informatica
23
(5), 1986, pp. 487-505
A logic for the specification and proof of regular controllable processes of CCS
S. Graf
,
J. Sifakis
Acta Informatica
23
(5), 1986, pp. 507-527
Generating binary trees of bounded height
C.C. Lee
,
D.T. Lee
,
C.K. Wong
Acta Informatica
23
(5), 1986, pp. 529-544
Maximum entropy and the G/G/1/N queue
D.D. Kouvatsos
Acta Informatica
23
(5), 1986, pp. 545-565
Deterministic grammars and grammar morphisms
J. Reichardt
Acta Informatica
23
(5), 1986, pp. 567-583
On the equivalence of some transductions involving letter to letter morphisms on regular languages
Y. Maon
Acta Informatica
23
(5), 1986, pp. 585-596
Synchronizable deterministic pushdown automata and the decidability of their equivalence
Karel Culik II
,
Juhani Karhumäki
Acta Informatica
23
(5), 1986, pp. 597-605
On merging software extensions
V. Berzins
Acta Informatica
23
(6), 1986, pp. 607-619
The reliability of life-critical computer systems
R. Geist
,
M. Smotherman
,
K. Trivedi
,
J.B. Dugan
Acta Informatica
23
(6), 1986, pp. 621-642
Availability of a distributed computer system with failures
E. Gelenbe
,
D. Finkel
,
S.K. Tripathi
Acta Informatica
23
(6), 1986, pp. 643-655
Information theoretic analysis for a general queueing system at equilibrium with application to queues in tandem
J. Cantor
,
A. Ephremides
,
D. Horton
Acta Informatica
23
(6), 1986, pp. 657-678
Sets with small generalized Kolmogorov complexity
J.L. Balcázar
,
R.V. Book
Acta Informatica
23
(6), 1986, pp. 679-688
Decomposition of graphs and monotone formula size of homogeneous functions
S. Bublitz
Acta Informatica
23
(6), 1986, pp. 689-696
Monte Carlo circuits for the abelian permutation group intersection problem
C.S. Iliopoulos
Acta Informatica
23
(6), 1986, pp. 697-705
A functional model for describing and reasoning about time behaviour of computing systems
P. Caspi
,
N. Halbwachs
Acta Informatica
22
(6), 1986, pp. 595-627
Nondeterministic data types: models and implementations
T. Nipkow
Acta Informatica
22
(6), 1986, pp. 629-661
Minimal coverings for incompletely specified sequential machines
B. Reusch
,
W. Merzenich
Acta Informatica
22
(6), 1986, pp. 663-678
Investigations on Hotz groups for arbitrary grammars
V. Diekert
Acta Informatica
22
(6), 1986, pp. 679-698
Seiten
<
1
2