Searching for authors named "Sandro Etalle" – sorted by Relevance.
45 documents found, showing 1 through 10.
Next 10 →
-
A Semantics for Modular General Logic Programs
- …A Semantics for Modular General Logic Programs Sandro Etalle Universit`a di Genova Abstract…
- Add To MetaCart
-
Unification-free Prolog programs revisited
- …Uni#cation-free Prolog programs revisited SANDRO ETALLE* D.I.S.I.#Universita # di Genova via…
- Add To MetaCart
-
A Transformation System for Modular CLP Programs
- …A Transformation System for Modular CLP Programs 1 Sandro Etalle 1;2 and Maurizio Gabbrielli 1…
- Cited by 4 (1 self) – Add To MetaCart
-
Transformation And Analysis Of (constraint) Logic Programs
- …Transformation and Analysis of (Constraint) Logic Programs Sandro Etalie Transformation…
- Add To MetaCart
-
Layered Modes
- …J. LOGIC PROGRAMMING 1996:28(2) 147--180 1 LAYERED MODES SANDRO ETALLE AND MAURIZIO GABBRIELLI…
- Cited by 7 (2 self) – Add To MetaCart
-
Partial Evaluation of Concurrent Constraint Languages
- …Partial Evaluation of Concurrent Constraint Languages Sandro Etalle and Maurizio Gabbrielli…
- Cited by 4 (1 self) – Add To MetaCart
-
A proof theoretic analysis of security protocols
- … A Proof Theoretic Analysis of Security Protocols Giorgio Delzanno1 and Sandro Etalle2 1…
- Cited by 1 (1 self) – Add To MetaCart
-
Transforming a Proof System into Prolog for Verifying Security Protocols
- … and Sandro Etalle 2 1 Dipartimento di Informatica e Scienze dell'Informazione Universita di Genova, via…
- Cited by 1 (0 self) – Add To MetaCart
-
Transforming Acyclic Programs
- … Annalisa Bossi 1 , Sandro Etalle 1;2 . 1 Dipartimento di Matematica Pura ed Applicata, Universit`a di…
- Cited by 9 (2 self) – Add To MetaCart
-
Transformations of CLP Modules
- …Transformations of CLP Modules Sandro Etalle D.I.S.I, Universit`a di Genova Via Dodecaneso, 35…
- Cited by 22 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
