Searching for authors named "Franco Turini" – sorted by Relevance.
-
A Framework for Specifying and Verifying the Behaviour of Open Systems
- ∗ , 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
- 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
- , 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
- 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
- , Salvatore Ruggieri, Franco Turini Dipartimento di Informatica, Università di Pisa Largo Bruno Pontecorvo 3
- Cited by 4 (2 self) – Add To MetaCart

