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=35
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Bi-catenation and shuffle product of languages
H.J. Shyr
,
S.S. Yu
Acta Informatica
35
(8), 1998, pp. 689-707
d
-words and
d
-languages
Chen-Ming Fan
,
H.J. Shyr
,
S.S. Yu
Acta Informatica
35
(8), 1998, pp. 709-727
Denotational semantics of object specification
Amílcar Sernadas
,
Cristina Sernadas
,
Carlos Caleiro
Acta Informatica
35
(9), 1998, pp. 729-773
A tree-based Mergesort
Alistair Moffat
,
Ola Petersson
,
Nicholas C. Wormald
Acta Informatica
35
(9), 1998, pp. 775-793
Machine scheduling with availability constraints
Eric Sanlaville
,
Günter Schmidt
Acta Informatica
35
(9), 1998, pp. 795-811
M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages
Eike Best
,
Wojciech Fra̧czak
,
Richard P. Hopkins
,
Hanna Klaudel
,
Elisabeth Pelz
Acta Informatica
35
(10), 1998, pp. 813-857
Amortized constant relaxed rebalancing using standard rotations
Kim S. Larsen
Acta Informatica
35
(10), 1998, pp. 859-874
On linear list recursion in parallel
Christoph Wedler
,
Christian Lengauer
Acta Informatica
35
(10), 1998, pp. 875-909
Asymptotic expansions of the Mergesort recurrences
Hsien-Kuei Hwang
Acta Informatica
35
(11), 1998, pp. 911-919
Fusion and simultaneous execution in the refinement calculus
Ralph-Johan Back
,
Michael Butler
Acta Informatica
35
(11), 1998, pp. 921-949
Modular correctness proofs of behavioural implementations
Michel Bidoit
,
Rolf Hennicker
Acta Informatica
35
(11), 1998, pp. 951-1005
Dijkstra-Scholten predicate calculus: Concepts and misconceptions
Lex Bijlsma
,
Rob Nederpelt
Acta Informatica
35
(12), 1998, pp. 1007-1036
A transformation system for concurrent processes
Nicoletta de Francesco
,
Antonelle Santone
Acta Informatica
35
(12), 1998, pp. 1037-1073
Axioms for generalized graphs, illustrated by a Cantor-Bernstein proposition
Joost Engelfriet
,
Tjalling Gelsema
Acta Informatica
35
(12), 1998, pp. 1075-1096
Seiten
<
1
2