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
[1]
Hilfe
Suche: Author="Donini, Francesco M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Preprocessing of intractable problems
Marco Cadoli
,
Francesco M. Donini
,
Paolo Liberatore
,
Marco Schaerf
Information and Computation
176
(2), 2002, pp. 89-120
On compact representations of propositional circumscription
Marco Cadoli
,
Francesco M. Donini
,
Marco Schaerf
,
Riccardo Silvestri
Theoretical Computer Science
182
(1-2), 1997, pp. 183-202
The complexity of concept languages
Francesco M. Donini
,
Maurizio Lenzerini
,
Daniele Nardi
,
Werner Nutt
Information and Computation
134
(1), 1997, pp. 1-58
Feasibility and unfeasibility of off-line processing
Marco Cadoli
,
Francesco M. Donini
,
Paolo Liberatore
,
Marco Schaerf
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 100-109
On compact representations of propositional circumscription
Marco Cadoli
,
Francesco M. Donini
,
Marco Schaerf
Lecture Notes in Computer Science
900
, 1995, pp. 205-216