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=32
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Optimization of a subclass of conjunctive queries
Joachim Biskup
,
Pratul Dublish
,
Yehoshua Sagiv
Acta Informatica
32
, 1995, pp. 1-26
What is failure? An approach to constructive negation
Wlodzimierz Drabent
Acta Informatica
32
, 1995, pp. 27-59
A formal identification between tuples and lists with and application to list-arithmetic categories
I.P. de Guzmán
,
M. Ojeda
,
A. Valverde
Acta Informatica
32
, 1995, pp. 61-78
Parallel integer sorting using small operations
Ramachandran Vaidyanathan
,
Carlos R.P. Hartmann
,
Pramod K. Varshney
Acta Informatica
32
, 1995, pp. 79-92
A transformation method for dynamic-sized tabulation
Wei-Ngan Chin
,
Masami Hagiya
Acta Informatica
32
, 1995, pp. 93-115
Inductive attribute grammars: A basis for incremental program execution
Janet A. Walz
,
Gregory F. Johnson
Acta Informatica
32
, 1995, pp. 117-144
Parallel tree contraction and prefix computations on a large family of interconnection topologies
W.-J. Hsu
,
C.V. Page
Acta Informatica
32
, 1995, pp. 145-153
Efficient algorithms for checking the atomicity of a run of read and write operations
Lefteris M. Kirousis
,
Andreas G. Veneris
Acta Informatica
32
, 1995, pp. 155-170
Generating Boolean
\mu
-expressions
Thomas Eiter
Acta Informatica
32
, 1995, pp. 171-187
Bounded self-stabilizing Petri nets
Ludmila Cherkasova
,
Rodney R. Howell
,
Louis E. Rosier
Acta Informatica
32
, 1995, pp. 189-207
Reexecution in abstract interpretation of Prolog
Baudouin Le Charlier
,
Pascal Van Hentenryck
Acta Informatica
32
, 1995, pp. 209-253
Lazy structure sharing for query optimization
Adam L. Buchsbaum
,
Rajamani Sundar
,
Robert E. Tarjan
Acta Informatica
32
, 1995, pp. 255-270
On the complexity of concurrency control using semantic information
Vasudha Krishnaswamy
,
John Bruno
Acta Informatica
32
, 1995, pp. 271-284
Syntactic complexity of scattered context grammars
Alexander Meduna
Acta Informatica
32
, 1995, pp. 285-298
Invariants, composition, and substitution
Ekkart Kindler
Acta Informatica
32
, 1995, pp. 299-312
S
-invariant analysis of general recursive Petri boxes
Raymond Devillers
Acta Informatica
32
, 1995, pp. 313-345
A Petri nets semantics for data flow networks
Cinzia Bernardeschi
,
Nicoletta De Francesco
,
Gigliola Vaglini
Acta Informatica
32
, 1995, pp. 347-374
A modal logic for message passing processes
M. Hennessy
,
X. Liu
Acta Informatica
32
, 1995, pp. 375-393
The extended equivalence problem for a class of non-real-time deterministic pushdown automata
Etsuji Tomita
,
Kazushi Seino
Acta Informatica
32
, 1995, pp. 395-413
Compositional refinements in multiple blackboard systems
X.J. Chen
,
C. Montangero
Acta Informatica
32
, 1995, pp. 415-458
On the look-ahead problem in lexical analysis
Wuu Yang
Acta Informatica
32
, 1995, pp. 459-476
Detecting morphic images of a word: On the rank of a pattern
Jean Neraud
Acta Informatica
32
, 1995, pp. 477-489
Local Hausdorff dimension
H. Jürgensen
,
L. Staiger
Acta Informatica
32
, 1995, pp. 491-507
Concurrent testing of processes
M. Hennessy
Acta Informatica
32
, 1995, pp. 509-543
Contextual nets
Ugo Montanari
,
Francesca Rossi
Acta Informatica
32
, 1995, pp. 545-596
Seiten 1
2
>