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=Inf.~Comput. AND Volume=98
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Diagonalization, uniformity, and fixed-point theorems
Kenneth W. Regan
Information and Computation
98
(1), 1992, May, pp. 1-40
Parallel recognition of series-parallel graphs
David Eppstein
Information and Computation
98
(1), 1992, May, pp. 41-55
Predictive analog-to-digital conversion for resistance to data outliers
P. Papantoni-Kazakos
,
Dimitri Kazakos
,
Kailash Birmiwal
Information and Computation
98
(1), 1992, May, pp. 56-98
The expressive power of indeterminate dataflow primitives
Prakash Panangaden
,
Vasant Shanbhogue
Information and Computation
98
(1), 1992, May, pp. 99-131
New binary codes from a generalization of Zinoviev's technique
James A. Wiseman
Information and Computation
98
(1), 1992, May, pp. 132-139
Symbolic model checking:
10^{20}
states and beyond
J.R. Burch
,
E.M. Clarke
,
K.L. McMillan
,
D.L. Dill
,
L.J. Hwang
Information and Computation
98
(2), 1992, June, pp. 142-170
New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
Roy L. Crole
,
Andrew M. Pitts
Information and Computation
98
(2), 1992, June, pp. 171-210
Extensional PERs
P. Freyd
,
P. Mulry
,
G. Rosolini
,
D. Scott
Information and Computation
98
(2), 1992, June, pp. 211-227
Type reconstruction in finite rank fragments of the second-order
\lambda
-calculus
A.J. Kfoury
,
J. Tiuryn
Information and Computation
98
(2), 1992, June, pp. 228-257
Infinitary logics and 0-1 laws
Phokion G. Kolaitis
,
Moshe Y. Vardi
Information and Computation
98
(2), 1992, June, pp. 258-294