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=1994
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Object inheritance beyond subtyping
J.F. Costa
,
A. Sernadas
,
C. Sernadas
Acta Informatica
31
(1), 1994, pp. 5-26
Dependency preservation in semantic databases
Jianwen Su
Acta Informatica
31
(1), 1994, pp. 27-54
Proving finiteness of CCS processes by non-standard semantics
Nicoletta de Francesco
,
Paola Inverardi
Acta Informatica
31
(1), 1994, pp. 55-80
The connection between an event structure semantics and an operational semantics for
TCSP
Christel Baier
,
Mila E. Majster-Cederbaum
Acta Informatica
31
(1), 1994, pp. 81-104
The lattice of data refinement
J. von Wright
Acta Informatica
31
(2), 1994, pp. 105-135
Geometrical tools to map systems of affine recurrence equations on regular arrays
Catherine Mongenet
,
Philippe Clauss
,
Guy-René Perrin
Acta Informatica
31
(2), 1994, pp. 137-160
Context-free text grammars
A. Ehrenfeucht
,
P. ten Pas
,
G. Rozenberg
Acta Informatica
31
(2), 1994, pp. 161-206
Dependability evaluation of hierarchical systems
Vincenzo Grassi
Acta Informatica
31
(3), 1994, pp. 207-233
On two families of forests
Symeon Bozapalidis
,
George Rahonis
Acta Informatica
31
(3), 1994, pp. 235-260
Boundedly LR
(k)
-conflictable grammars
Myung-Joon Lee
,
Kwang-Moo Choe
Acta Informatica
31
(3), 1994, pp. 261-283
On
n
-column
0,1
-matrices with all
k
-projections surjective
Hongzhong Wu
Acta Informatica
31
(3), 1994, pp. 285-299
Sorting multisets stably in minimum space
Jyrki Katajainen
,
Tomi Pasanen
Acta Informatica
31
(4), 1994, pp. 301-313
On communication-bounded synchronized alternating finite automata
Oscar H. Ibarra
,
Nicholas Q. Trân
Acta Informatica
31
(4), 1994, pp. 315-327
A recursive second order initial algebra specification of primitive recursion
Karl Meinke
Acta Informatica
31
(4), 1994, pp. 329-340
Context-free graph languages of bounded degree are generated by apex graph grammars
Joost Engelfriet
,
Linda Heyker
,
George Leih
Acta Informatica
31
(4), 1994, pp. 341-378
Deterministic asynchronous automata for infinite traces
Volker Diekert
,
Anca Muscholl
Acta Informatica
31
(4), 1994, pp. 379-397
A typed logic of partial functions reconstructed classically
C.B. Jones
,
C.A. Middelburg
Acta Informatica
31
(5), 1994, pp. 399-430
Synthesized and inherited functions - A new computational model for syntax-directed semantics
Armin Kühnemann
,
Heiko Vogler
Acta Informatica
31
(5), 1994, pp. 431-477
On problems with short certificates
Graham Farr
Acta Informatica
31
(5), 1994, pp. 479-502
Heuristics for parallel machine scheduling with delivery times
Gerhard J. Woeginger
Acta Informatica
31
, 1994, pp. 503-512
Domain independence and the relational calculus
Richard Hull
,
Jianwen Su
Acta Informatica
31
, 1994, pp. 513-524
Prescribed teams of grammars
Gheorghe Păun
,
Grzegorz Rozenberg
Acta Informatica
31
, 1994, pp. 525-537
Well quasi-orders and regular languages
Aldo de Luca
,
Stefano Varricchio
Acta Informatica
31
, 1994, pp. 539-557
Information theoretic approximations for the
M/G/1
retrial queue
G.I. Falin
,
M. Martìn Diaz
,
J.R. Artalejo
Acta Informatica
31
, 1994, pp. 559-571
Update operations in deductive databases with functional dependencies
Riccardo Torlone
Acta Informatica
31
, 1994, pp. 573-600
Seiten 1
2
>