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
[4]
Hilfe
Suche: Author="Maher, M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Elimination of negation in term algebras
J.-L. Lassez
,
M. Maher
,
K. Marriott
Lecture Notes in Computer Science
520
, 1991, pp. 1-16
Unification revisited
J.-L. Lassez
,
M.J. Maher
,
K. Marriott
Technical Report (RC 12394), 1986, December
Optimal fixedpoints of logic programs
J.-L. Lassez
,
M.J. Maher
Theoretical Computer Science
39
(1), 1985, pp. 15-25
Optimal fixed points of logic programs
J.-L. Lassez
,
M.J. Maher
Theoretical Computer Science
39
(1), 1985, pp. 15-25
Closure and fairness in the semantics of programming logic
J.-L. Lassez
,
M.J. Maher
Theoretical Computer Science
29
(1,2), 1984, pp. 167-184