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="Ruggieri, Salvatore"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the complexity of quantified linear systems
Salvatore Ruggieri
,
Pavlos Eirinakis
,
K. Subramani
,
Piotr Wojciechowski
Theoretical Computer Science
518
, 2014, pp. 128-134
On computing the semi-sum of two integers
Salvatore Ruggieri
Information Processing Letters
87
(2), 2003, pp. 67-71
\exists
-universal termination of logic programs
Salvatore Ruggieri
Theoretical Computer Science
254
(1-2), 2001, pp. 273-296
Weakest preconditions for pure Prolog programs
Dino Pedreschi
,
Salvatore Ruggieri
Information Processing Letters
67
(3), 1998, pp. 145-150
Termination of constraint logic programs
Salvatore Ruggieri
Lecture Notes in Computer Science
1256
, 1997, pp. 838-848