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
[1]
Hilfe
Suche: Journal=Inf.~Process.~Lett. AND Volume=50
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An optimal algorithm for distributed snapshots with causal message ordering
Sridhar Alagar
,
S. Venkatesan
Information Processing Letters
50
, 1994, pp. 311-316
On the complexity of analysis and manipulation of Boolean functions in terms of decision graphs
Jordan Gergov
,
Christoph Meinel
Information Processing Letters
50
, 1994, pp. 317-322
Uniform generation of forests of restricted height
M.D. Atkinson
,
J.-R. Sack
Information Processing Letters
50
, 1994, pp. 323-327
A recursion theorem for predicate transformers on inductive data types
David A. Naumann
Information Processing Letters
50
, 1994, pp. 329-336
Counting the number of fault patterns in redundant VLSI arrays
Linda Pagli
,
Geppino Pucci
Information Processing Letters
50
, 1994, pp. 337-342
Seiten
<
1
2
3