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=187
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Secure mechanical verification of mutually recursive procedures
Peter V. Homeier
,
David F. Martin
Information and Computation
187
(1), 2003, pp. 1-19
The complexity of minimal satisfiability problems
Lefteris M. Kirousis
,
Phokion G. Kolaitis
Information and Computation
187
(1), 2003, pp. 20-39
A simple undecidable problem: The inclusion problem for finite substitutions on
ab^{\ast} c
J. Karhumäki
,
L.P. Lisovik
Information and Computation
187
(1), 2003, pp. 40-48
The dimensions of individual strings and sequences
Jack H. Lutz
Information and Computation
187
(1), 2003, pp. 49-79
Regular sets of infinite message sequence charts
Dietrich Kuske
Information and Computation
187
(1), 2003, pp. 80-109
Splitting information securely with entanglement
Takashi Mihara
Information and Computation
187
(1), 2003, pp. 110-122
Ground reducibility is EXPTIME-complete
Hubert Comon
,
Florent Jacquemard
Information and Computation
187
(1), 2003, pp. 123-153
Testing metric properties
Michal Parnas
,
Dana Ron
Information and Computation
187
(2), 2003, pp. 155-195
Future temporal logic needs infinitely many modalities
Yoram Hirshfeld
,
Alexander Rabinovich
Information and Computation
187
(2), 2003, pp. 196-208
On regular drawn symbolic picture languages
Gennaro Costagliola
,
Vincenzo Deufemia
,
Filomena Ferrucci
,
Carmine Gravino
Information and Computation
187
(2), 2003, pp. 209-245
Controlling the data space of tree structured computations
I. Gottlieb
,
B. Obrenić
Information and Computation
187
(2), 2003, pp. 246-276
Uniform-distribution attribute noise learnability
Nader H. Bshouty
,
Jeffrey C. Jackson
,
Christino Tamon
Information and Computation
187
(2), 2003, pp. 277-290
Describing parameterized complexity classes
Jörg Flum
,
Martin Grohe
Information and Computation
187
(2), 2003, pp. 291-319