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="Pino, Elvira"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Institutions for logic programming
Fernando Orejas
,
Elvira Pino
,
Hartmut Ehrig
Theoretical Computer Science
173
(2), 1997, pp. 485-511
Algebraic methods in the compositional analysis of logic programs
Fernando Orejas
,
Elvira Pino
,
Hartmut Ehrig
Lecture Notes in Computer Science
841
, 1994, pp. 112-126