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=106
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On choosing between experimenting and thinking when learning
Ronald L. Rivest
,
Robert H. Sloan
Information and Computation
106
(1), 1993, September, pp. 1-25
An information system interpretation of Martin-Löf's partial type theory with universes
Erik Palmgren
Information and Computation
106
(1), 1993, September, pp. 26-60
On the starheight of some rational subsets closed under partial commutations
Christian Choffrut
Information and Computation
106
(1), 1993, September, pp. 61-82
Minimizing the number of late tasks with error constraint
Joseph Y.-T. Leung
,
C.S. Wong
Information and Computation
106
(1), 1993, September, pp. 83-108
Reasoning about termination of pure Prolog programs
Krzysztof R. Apt
,
Dino Pedreschi
Information and Computation
106
(1), 1993, September, pp. 109-157
Asynchronous mappings and asynchronous cellular automata
Robert Cori
,
Yves Métivier
,
Wiesƚaw Zielonka
Information and Computation
106
(2), 1993, October, pp. 159-202
New results in graph routing
Kimio Kawaguchi
,
Koichi Wada
Information and Computation
106
(2), 1993, October, pp. 203-233
Searching in the plane
Ricardo A. Baeza-Yates
,
Joseph C. Culberson
,
Gregory J.E. Rawlins
Information and Computation
106
(2), 1993, October, pp. 234-252
Completeness results for single-path Petri nets
Rodney R. Howell
,
Petr Janc̑ar
,
Louis E. Rosier
Information and Computation
106
(2), 1993, October, pp. 253-265
On parallel integer merging
Omer Berkman
,
Uzi Vishkin
Information and Computation
106
(2), 1993, October, pp. 266-285
Point location in arrangements of hyperplanes
S. Meiser
Information and Computation
106
(2), 1993, October, pp. 286-303