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=189
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Counting and sampling
H
-colourings
Martin Dyer
,
Leslie Ann Goldberg
,
Mark Jerrum
Information and Computation
189
(1), 2004, pp. 1-16
Intersection types for explicit substitutions
Stéphane Lengrand
,
Pierre Lescanne
,
Dan Dougherty
,
Mariangiola Dezani-Ciancaglini
,
Steffen van Bakel
Information and Computation
189
(1), 2004, pp. 17-42
Sensitivity, block sensitivity, and
l
-block sensitivity of Boolean functions
Claire Kenyon
,
Samuel Kutin
Information and Computation
189
(1), 2004, pp. 43-53
Type inference for record concatenation and subtyping
Jens Palsberg
,
Tian Zhao
Information and Computation
189
(1), 2004, pp. 54-86
Parametric parameter passing
\lambda
-calculus
Luca Paolini
,
Simona Ronchi Della Rocca
Information and Computation
189
(1), 2004, pp. 87-106
On the strength of comparisons in property testing
Eldar Fischer
Information and Computation
189
(1), 2004, pp. 107-116
The complexity of planarity testing
Eric Allender
,
Meena Mahajan
Information and Computation
189
(1), 2004, pp. 117-134
Fast approximate probabilistically checkable proofs
Funda Ergün
,
Ravi Kumar
,
Ronitt Rubinfeld
Information and Computation
189
(2), 2004, pp. 135-159
Bounded MSC communication
Markus Lohrey
,
Anca Muscholl
Information and Computation
189
(2), 2004, pp. 160-181
On the automatizability of resolution and related propositional proof systems
Albert Atserias
,
María Luisa Bonet
Information and Computation
189
(2), 2004, pp. 182-201
Comparing hierarchies of types in models of linear logic
Paul-André Melliès
Information and Computation
189
(2), 2004, pp. 202-234
Generalized notions of mind change complexity
Arun Sharma
,
Frank Stephan
,
Yuri Ventsov
Information and Computation
189
(2), 2004, pp. 235-262