RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
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 uniform approach to constraint-solving for lists, multisets, compact lists, and sets
2003-01-01 Dovier, A; Piazza, C; Rossi, Gianfranco
An Automatically Verified Prototype of the Tokeneer ID Station Specification
2020-01-01 Cristiá, Maximiliano; Rossi, Gianfranco
Automated Reasoning with Restricted Intensional Sets
2019-01-01 Cristiá, Maximiliano; Rossi, Gianfranco
Declarative Programming with Intensional Sets in Java Using JSetL
2020-01-01 Cristiá, Maximiliano; Fois, Andrea; Rossi, Gianfranco
First steps in integrating {log} into Z/EVES
2015-01-01 Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia
From Set Unification to Set Constraints
2008-01-01 Rossi, Gianfranco
GASP
2010-01-01 DAL PALU', Alessandro; Rossi, Gianfranco; Agostino, Dovier; Enrico, Pontelli
JSetL (version 1.3)
2008-01-01 Rossi, Gianfranco; Bergenti, Federico
JSetL User's Manual - Version 1.0.
2004-01-01 Panegai, E.; Poleo, E.; Rossi, Gianfranco
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 uniform approach to constraint-solving for lists, multisets, compact lists, and sets | 1-gen-2003 | Dovier, A; Piazza, C; Rossi, Gianfranco | |
An Automatically Verified Prototype of the Tokeneer ID Station Specification | 1-gen-2020 | Cristiá, Maximiliano; Rossi, Gianfranco | |
Automated Reasoning with Restricted Intensional Sets | 1-gen-2019 | Cristiá, Maximiliano; Rossi, Gianfranco | |
Declarative Programming with Intensional Sets in Java Using JSetL | 1-gen-2020 | Cristiá, Maximiliano; Fois, Andrea; Rossi, Gianfranco | |
First steps in integrating {log} into Z/EVES | 1-gen-2015 | Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia | |
From Set Unification to Set Constraints | 1-gen-2008 | Rossi, Gianfranco | |
GASP | 1-gen-2010 | DAL PALU', Alessandro; Rossi, Gianfranco; Agostino, Dovier; Enrico, Pontelli | |
JSetL (version 1.3) | 1-gen-2008 | Rossi, Gianfranco; Bergenti, Federico | |
JSetL User's Manual - Version 1.0. | 1-gen-2004 | Panegai, E.; Poleo, E.; Rossi, Gianfranco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 7 Altro 25
- 7 Altro::7.12 Altro 20
- 7 Altro::7.11 Software 3
- 7 Altro::7.05 Esposizione 2
Data di pubblicazione
- 2010 - 2020 14
- 2001 - 2009 11
Lingua
- eng 19
Accesso al fulltext
- no fulltext 25