ROSSI, Gianfranco
ROSSI, Gianfranco
Dipartimento di Scienze Matematiche, Fisiche e Informatiche
A Constraint Logic Programming Language for Effective Programming with Sets and Finite Domains
2006-01-01 DAL PALU', Alessandro; Dovier, A; Pontelli, E; Rossi, Gianfranco
A decision procedure for restricted intensional sets
2017-01-01 Cristià, Maximiliano; Rossi, Gianfranco
A decision procedure for sets, binary relations and partial functions
2016-01-01 Cristiá, Maximiliano; Rossi, Gianfranco
A Master-Slave Architecture to Integrate Sets and Finite Domains in Java
2006-01-01 Bergenti, Federico; Panegai, Elio; Rossi, Gianfranco
A Necessary Condition for Constructive Negation in Constraint Logic Programming
2000-01-01 Dovier, A.; Pontelli, E.; Rossi, Gianfranco
A set solver for finite relation algebra
2018-01-01 Cristià, Maximiliano; Rossi, Gianfranco
A subdivision approach to the solution of polynomial constraints over finite domains using the modified Bernstein form
2016-01-01 Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
2003-01-01 Dovier, A; Piazza, C; Rossi, Gianfranco
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
2008-01-01 Dovier, A; Piazza, C; Rossi, Gianfranco
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms
1998-01-01 Dovier, A; Policriti, A; Rossi, Gianfranco
ACI1 Constraints
1999-01-01 Dovier, A.; Piazza, C.; Pontelli, E.; Rossi, Gianfranco
Adding partial functions to Constraint Logic Programming with sets
2015-01-01 Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia
ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES
1986-01-01 Martelli, A.; Moiso, C.; Rossi, G. F.
An Algorithm for Unification in Equational Theories
1986-01-01 A., Martelli; C., Moiso; Rossi, Gianfranco
An Automatically Verified Prototype of the Tokeneer ID Station Specification
2020-01-01 Cristiá, Maximiliano; Rossi, Gianfranco
Answer Set Programming with Constraints Using Lazy Grounding
2009-01-01 DAL PALU', Alessandro; Dovier, A; Pontelli, E; Rossi, Gianfranco
Automated Proof of Bell–LaPadula Security Properties
2020-01-01 Cristia, M.; Rossi, G.
Automated Reasoning with Restricted Intensional Sets
2019-01-01 Cristiá, Maximiliano; Rossi, Gianfranco
Bibliografia sul linguaggio Ada
1981-01-01 Rossi, Gianfranco
Compiling Intensional Sets in CLP
1994-01-01 Bruscoli, P.; Dovier, A.; Pontelli, E; Rossi, Gianfranco