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=185
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Competitive distributed file allocation
Baruch Awerbuch
,
Yair Bartal
,
Amos Fiat
Information and Computation
185
(1), 2003, pp. 1-40
Distinguishing string selection problems
J. Kevin Lanctot
,
Ming Li
,
Bin Ma
,
Shaojiu Wang
,
Louxin Zhang
Information and Computation
185
(1), 2003, pp. 41-55
Skolem functions of arithmetical sentences
Shih Ping Tung
Information and Computation
185
(1), 2003, pp. 56-65
Searching and on-line recognition of star-shaped polygons
Alejandro López-Ortiz
,
Sven Schuierer
Information and Computation
185
(1), 2003, pp. 66-88
Learning by switching type of information
Sanjay Jain
,
Frank Stephan
Information and Computation
185
(1), 2003, pp. 89-104
Hybrid I/0 automata
Nancy Lynch
,
Roberto Segala
,
Frits Vaandrager
Information and Computation
185
(1), 2003, pp. 105-157
Refining the hierarchy of blind multicounter languages and twist-closed trios
Matthias Jantzen
,
Alexy Kurganskyy
Information and Computation
185
(2), 2003, pp. 159-181
Modelling environments in call-by-value programming languages
Paul Blain Levy
,
John Power
,
Hayo Thielecke
Information and Computation
185
(2), 2003, pp. 182-210
A binary modal logic for the intersection types of lambda-calculus
Silvio Valentini
,
Matteo Viale
Information and Computation
185
(2), 2003, pp. 211-232
Non-commutative logic III: Focusing proofs
Roberto Maieli
,
Paul Ruet
Information and Computation
185
(2), 2003, pp. 233-262
Theories with self-application and computational complexity
Thomas Strahm
Information and Computation
185
(2), 2003, pp. 263-297
On learning multicategory classification with sample queries
Joel Ratsaby
Information and Computation
185
(2), 2003, pp. 298-327