MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Franco Turini" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

A Framework for Specifying and Verifying the Behaviour of Open Systems
by Andrea Bracciali, Antonio Brogi, Franco Turini — 2004
… ∗ , Antonio Brogi, Franco Turini Computer Science Department, University of Pisa, Italy Coding no longer…
Add To MetaCart

The Use of Renaming in Composing General Programs
by Antonio Brogi, Simone Contiero, Franco Turini — 1999 — Proc. of the 8th International Workshop on Logic Programming Synthesis and Transformation (LOPSTR'98
…The Use of Renaming in Composing General Programs Antonio Brogi, Simone Contiero, and Franco Turini…
Cited by 4 (0 self) – Add To MetaCart

Amalgamating Language and Meta-Language for Composing Logic Programs
by Antonio Brogi, Chiara Renso, Franco Turini — 1995 — Proceedings of the GULP-PRODE'94 Joint Conference on Declarative Programming
…, Franco Turini Dipartimento di Informatica, Universit`a di Pisa Corso Italia, 40 - 56125 Pisa, Italy…
Cited by 3 (1 self) – Add To MetaCart

Time in a Multi-Theory Logical Framework
by Paolo Mancarella, Alessandra Raffaeta, Ra Raffaeta, Franco Turini — Florida USA
…Time in a Multi-Theory Logical Framework Paolo Mancarella, Alessandra Raffaeta and Franco Turini…
Cited by 2 (0 self) – Add To MetaCart

KDDML: A Middleware Language and System for Knowledge Discovery in Databases
by Andrea Romei, Salvatore Ruggieri, Franco Turini — 2005 — In Proceedings of the 13th Italian Symposium on Advanced Database Systems (SEBD
…, Salvatore Ruggieri, Franco Turini Dipartimento di Informatica, Università di Pisa Largo Bruno Pontecorvo 3…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB