PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Ruggieri, Salvatore"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On logic programs that always succeed.

, und . Sci. Comput. Program., 48 (2-3): 163-196 (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Ruggieri, Salvatore
Eine Person hinzufügen mit dem Namen Ruggieri, Salvatore
 

Weitere Publikationen von Autoren mit dem selben Namen

A standard reference model for intelligent multimedia presentation systems., , , , , , , und . Computer Standards & Interfaces, 18 (6-7): 477-496 (1997)Describing the MMI2 demonstrators with the IMMPS reference model., und . Computer Standards & Interfaces, 18 (6-7): 613-621 (1997)Who/Where Are My New Customers?, und . ISMIS Industrial Session, Volume 369 von Studies in Computational Intelligence, Seite 307-317. Springer, (2011)Termination is Language-Independent., und . GULP-PRODE (1), Seite 418-433. (1994)Decision tree building on multi-core using FastFlow., , und . Concurrency and Computation: Practice and Experience, 26 (3): 800-820 (2014)Measuring Discrimination in Socially-Sensitive Decision Records., , und . SDM, Seite 581-592. SIAM, (2009)Subtree Replacement in Decision Tree Simplification.. SDM, Seite 379-390. SIAM / Omnipress, (2012)Proving (total) correctness of Prolog programs.. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, (1994)Bounded Nondeterminism of Logic Programs., und . ICLP, Seite 350-364. MIT Press, (1999)Decidability of logic program semantics and applications to testing.. J. Log. Program., 46 (1-2): 103-137 (2000)