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="Levi, Giorgio"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the verification of finite failure
Roberta Gori
,
Giorgio Levi
Journal of Computer and System Sciences
71
(4), 2005, pp. 535-575
Pair-independence and freeness analysis through linear refinement
Giorgio Levi
,
Fausto Spoto
Information and Computation
182
(1), 2003, pp. 14-52
Incremental constraint satisfaction for equational logic programming
MarĂa Alpuente
,
Moreno Falaschi
,
Giorgio Levi
Theoretical Computer Science
142
(1), 1995, pp. 27-57
Observable behaviors and equivalences of logic programs
Maurizio Gabbrielli
,
Giorgio Levi
,
Maria Chiara Meo
Information and Computation
122
(1), 1995, pp. 1-29
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
Unfolding and fixpoint semantics of concurrent constraint logic programs
Maurizio Gabbrielli
,
Giorgio Levi
Theoretical Computer Science
105
, 1992, pp. 85-128
Kernel-LEAF: A logic plus functional language
Elio Giovannetti
,
Giorgio Levi
,
Corrado Moiso
,
Catuscia Palamidessi
Journal of Computer and System Sciences
42
, 1991, pp. 139-185
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
Contributions to the semantics of logic perpetual processes
Giorgio Levi
,
Catuscia Palamidessi
Acta Informatica
25
, 1988, pp. 691-711
Proving program properties, symbolic evaluation and logical procedural semantics
Giorgio Levi
,
Franco Sirovich
Lecture Notes in Computer Science
32
, 1975, pp. 294-301
A theory of observables for logic programs
Marco Comini
,
Giorgio Levi
,
Maria Chiara Meo
Information and Computation
169
(1), pp. 23-80