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="Meo, Maria Chiara"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The expressive power of CHR with priorities
Maurizio Gabbrielli
,
Jacopo Mauro
,
Maria Chiara Meo
Information and Computation
228-229
, 2013, pp. 62-82
Compositionality properties of
SLD
-derivations
Marco Comini
,
Maria Chiara Meo
Theoretical Computer Science
211
(1-2), 1999, pp. 275-309
Observable behaviors and equivalences of logic programs
Maurizio Gabbrielli
,
Giorgio Levi
,
Maria Chiara Meo
Information and Computation
122
(1), 1995, pp. 1-29
A theory of observables for logic programs
Marco Comini
,
Giorgio Levi
,
Maria Chiara Meo
Information and Computation
169
(1), pp. 23-80