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="Falaschi, Moreno"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Rules + strategies for transforming lazy functional logic programs
María Alpuente
,
Moreno Falaschi
,
Ginés Moreno
,
Germán Vidal
Theoretical Computer Science
311
(1-3), 2004, pp. 479-525
Constraint logic programming with dynamic scheduling: A semantics based on closure operators
Moreno Falaschi
,
Maurizio Gabbrielli
,
Kim Marriott
,
Catuscia Palamidessi
Information and Computation
137
(1), 1997, pp. 41-67
Confluence in concurrent constraint programming
Moreno Falaschi
,
Maurizio Gabbrielli
,
Kim Marriott
,
Catuscia Palamidessi
Theoretical Computer Science
183
(2), 1997, pp. 281-315
A compositional semantic basis for the analysis of equational Horn programs
María Alpuente
,
Moreno Falaschi
,
Germán Vidal
Theoretical Computer Science
165
(1), 1996, pp. 133-169
Incremental constraint satisfaction for equational logic programming
María Alpuente
,
Moreno Falaschi
,
Giorgio Levi
Theoretical Computer Science
142
(1), 1995, pp. 27-57
Efficient analysis of concurrent constraint logic programs
Michael Codish
,
Moreno Falaschi
,
Kim Marriott
,
William Winsborough
Lecture Notes in Computer Science
700
, 1993, pp. 633-644
A model-theoretic reconstruction of the operational semantics of logic programs
Moreno Falaschi
,
Giorgio Levi
,
Maurizio Martelli
,
Catuscia Palamidessi
Information and Computation
103
(1), 1993, March, pp. 86-113
Nested Guarded Horn Clauses
Moreno Falaschi
,
Maurizio Gabbrielli
,
Giorgio Levi
,
Masaki Murakami
International Journal of Foundations of Computer Science
1
(3), 1990, pp. 249-263
Finite failures and partial computations in concurrent logic languages
Moreno Falaschi
,
Giorgio Levi
Theoretical Computer Science
75
, 1990, pp. 45-66