ROSSI, Gianfranco

ROSSI, Gianfranco  

Dipartimento di Scienze Matematiche, Fisiche e Informatiche  

Mostra records
Risultati 1 - 20 di 106 (tempo di esecuzione: 0.033 secondi).
Titolo Data di pubblicazione Autore(i) File
A Constraint Logic Programming Language for Effective Programming with Sets and Finite Domains 1-gen-2006 DAL PALU', Alessandro; Dovier, A; Pontelli, E; Rossi, Gianfranco
A Master-Slave Architecture to Integrate Sets and Finite Domains in Java 1-gen-2006 Bergenti, Federico; Panegai, Elio; Rossi, Gianfranco
A Necessary Condition for Constructive Negation in Constraint Logic Programming 1-gen-2000 Dovier, A.; Pontelli, E.; Rossi, Gianfranco
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 1-gen-2003 Dovier, A; Piazza, C; Rossi, Gianfranco
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 1-gen-2008 Dovier, A; Piazza, C; Rossi, Gianfranco
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms 1-gen-1998 Dovier, A; Policriti, A; Rossi, Gianfranco
ACI1 Constraints 1-gen-1999 Dovier, A.; Piazza, C.; Pontelli, E.; Rossi, Gianfranco
Adding partial functions to Constraint Logic Programming with sets 1-gen-2015 Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia
ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES 1-gen-1986 Martelli, A.; Moiso, C.; Rossi, G. F.
An Algorithm for Unification in Equational Theories 1-gen-1986 A., Martelli; C., Moiso; Rossi, Gianfranco
Answer Set Programming with Constraints Using Lazy Grounding 1-gen-2009 DAL PALU', Alessandro; Dovier, A; Pontelli, E; Rossi, Gianfranco
Automated Proof of Bell–LaPadula Security Properties 1-gen-2020 Cristia, M.; Rossi, G.
Automated Reasoning with Restricted Intensional Sets 1-gen-2019 Cristiá, Maximiliano; Rossi, Gianfranco
An Automatically Verified Prototype of the Tokeneer ID Station Specification 1-gen-2020 Cristiá, Maximiliano; Rossi, Gianfranco
Bibliografia sul linguaggio Ada 1-gen-1981 Rossi, Gianfranco
Compiling Intensional Sets in CLP 1-gen-1994 Bruscoli, P.; Dovier, A.; Pontelli, E; Rossi, Gianfranco
Constraint Logic Programming with Polynomial Constraints over Finite Domains 1-gen-2018 Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco
Constructive negation and constraint logic programming with sets 1-gen-2001 Dovier, A.; Pontelli, E. .; Rossi, Gianfranco
A decision procedure for restricted intensional sets 1-gen-2017 Cristià, Maximiliano; Rossi, Gianfranco
A decision procedure for sets, binary relations and partial functions 1-gen-2016 Cristiá, Maximiliano; Rossi, Gianfranco