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="Bueno, F."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Program debugging and validation using semantic approximations and partial specifications
M. Hermenegildo
,
G. Puebla
,
F. Bueno
,
P. López-García
Lecture Notes in Computer Science
2380
, 2002, pp. 69-72
A comparative study of methods for automatic compile-time parallelization of logic programs
F. Bueno
,
M. García de la Banda
,
M. Hermenegildo
Lecture Note Series in Computing
5
, 1994, pp. 63-73