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 YEAR=1989
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A language independent proof of the soundness and completeness of generalized Hoare logic
Patrick Cousot
,
Radhia Cousot
Information and Computation
80
(2), 1989, pp. 165-191
The iterated mod problem
Howard J. Karloff
,
Walter L. Ruzzo
Information and Computation
80
(3), 1989, pp. 193-204
Complexity theory of parallel time and hardware
Patrick W. Dymond
,
Stephen A. Cook
Information and Computation
80
(3), 1989, pp. 205-226
Inferring decision trees using the minimum description length principle
J. Ross Quinlan
,
Ronald L. Rivest
Information and Computation
80
(3), 1989, pp. 227-248
Fairness in context-free grammars under every choice-strategy
Sara Porat
,
Nissim Francez
Information and Computation
80
(3), 1989, pp. 249-268
The logarithmic alternation hierarchy collapses:
A\Sigma2^{\cal{}L}=A\Pi2^{\cal{}L}
Birgit Jenner
,
Bernd Kirsig
,
Klaus-Jörn Lange
Information and Computation
80
(3), 1989, pp. 269-288
Seiten
<
1
2