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: Author="Mello, Paola"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A unifying view for logic programming with non-monotonic reasoning
Antonio Brogi
,
Evelina Lamma
,
Paolo Mancarella
,
Paola Mello
Theoretical Computer Science
184
(1-2), 1997, pp. 1-59
Improving distributed unification through type analysis
Evelina Lamma
,
Paola Mello
,
Cesare Stefanelli
,
Pascal van Hentenryck
Lecture Notes in Computer Science
1300
, 1997, pp. 1181-1190
An abstract interpretation framework for optimizing dynamic modular logic languages
Anna Ciampolini
,
Evelina Lamma
,
Paola Mello
Information Processing Letters
58
(4), 1996, pp. 163-170
Hypothetical reasoning in logic programming: A semantic approach
Antonio Brogi
,
Evelina Lamma
,
Paola Mello
Information Processing Letters
36
, 1990, pp. 285-291