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=90
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
About systems of equations,
X
-separability, and left-invertibility in the
\lambda
-calculus
Corrado Böhm
,
Enrico Tronci
Information and Computation
90
(1), 1991, January, pp. 1-32
Results on learnability and the Vapnik-Chervonenkis dimension
Nathan Linial
,
Yishay Mansour
,
Ronald L. Rivest
Information and Computation
90
(1), 1991, January, pp. 33-49
The expressive power of stratified logic programs
Phokion G. Kolaitis
Information and Computation
90
(1), 1991, January, pp. 50-66
Effective entropies and data compression
Dung T. Huynh
Information and Computation
90
(1), 1991, January, pp. 67-85
Some classes of languages in
NC^1
Oscar H. Ibarra
,
Tao Jiang
,
Jik H. Chang
,
Bala Ravikumar
Information and Computation
90
(1), 1991, January, pp. 86-106
A higher-order calculus and theory abstraction
Zhaohui Luo
Information and Computation
90
(1), 1991, January, pp. 107-137
Towards a theory of Pollard's rho method
Eric Bach
Information and Computation
90
(2), 1991, February, pp. 139-155
Separating the low and high hierarchies by oracles
Ker-I Ko
Information and Computation
90
(2), 1991, February, pp. 156-177
Planar acyclic computation
W.F. McColl
,
M.S. Paterson
,
B.H. Bowditch
Information and Computation
90
(2), 1991, February, pp. 178-193
Inverse image analysis generalises strictness analysis
Peter Dybjer
Information and Computation
90
(2), 1991, February, pp. 194-216
Towards a foundation for semantics in complete metric spaces
Mila E. Majster-Cederbaum
,
F. Zetzsche
Information and Computation
90
(2), 1991, February, pp. 217-243