Searching for authors named "Sophie Renault" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
A System for Transforming Logic Programs
- …A System for Transforming Logic Programs Sophie Renault Universit`a degli Studi di Roma Tor Vergata…
- Cited by 4 (3 self) – Add To MetaCart
-
Guidelines to the Current Implementation of the MAP Transformation System
- …Guidelines to the Current Implementation of the MAP Transformation System Sophie Renault IASI…
- Add To MetaCart
-
Design, Implementation, And Use Of The Map Transformation System
- …ISTITUTO DI ANALISI DEI SISTEMI ED INFORMATICA CONSIGLIO NAZIONALE DELLE RICERCHE S. Renault, A…
- Cited by 3 (1 self) – Add To MetaCart
-
Reducing Nondeterminism while Specializing Logic Programs
- …@(email omitted); Maurizio Proietti IASI-CNR Viale Manzoni 30 00185 Roma, Italy proietti@(email omitted); Sophie Renault…
- Cited by 26 (14 self) – Add To MetaCart
-
Enhancing Partial Deduction via Unfold/Fold Rules
- … Sophie Renault 1 1 Department of Informatics, University of Roma Tor Vergata, Via della Ricerca…
- Cited by 7 (4 self) – Add To MetaCart
Showing 1 through 5.
