Sfoglia per Rivista ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Mostrati risultati da 1 a 8 di 8
A complete characterization of complete intersection-type preorders
2003-01-01 M., Dezani Ciancaglini; Honsell, Furio; Alessi, Fabio
Decidability Results for Sets with Atoms
2006-01-01 Dovier, Agostino; Formisano, A.; Omodeo, AND E.
Good-for-Game QPTL: An Alternating Hodges Semantics
2023-01-01 Bellier, D.; Benerecetti M, .; Della Monica, D.; Mogavero, F.
Inference from Visible Information and Background Knowledge
2021-01-01 Benedikt, Michael; Bourhis, Pierre; ten Cate, Balder; Puppis, Gabriele; Vanden Boom, Michael
Interval Temporal Logic for Visibly Pushdown Systems
2023-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
2019-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Optimizing optimal reduction: A type inference algorithm for elementary affine logic
2006-01-01 Coppola, Paolo; Martini, Simone
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
2008-01-01 Dovier, Agostino; Piazza, Carla; Rossi, Gianfranco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A complete characterization of complete intersection-type preorders | 1-gen-2003 | M., Dezani Ciancaglini; Honsell, Furio; Alessi, Fabio | |
Decidability Results for Sets with Atoms | 1-gen-2006 | Dovier, Agostino; Formisano, A.; Omodeo, AND E. | |
Good-for-Game QPTL: An Alternating Hodges Semantics | 1-gen-2023 | Bellier, D.; Benerecetti M, .; Della Monica, D.; Mogavero, F. | |
Inference from Visible Information and Background Knowledge | 1-gen-2021 | Benedikt, Michael; Bourhis, Pierre; ten Cate, Balder; Puppis, Gabriele; Vanden Boom, Michael | |
Interval Temporal Logic for Visibly Pushdown Systems | 1-gen-2023 | Bozzelli, L.; Montanari, A.; Peron, A. | |
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison | 1-gen-2019 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
Optimizing optimal reduction: A type inference algorithm for elementary affine logic | 1-gen-2006 | Coppola, Paolo; Martini, Simone | |
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets | 1-gen-2008 | Dovier, Agostino; Piazza, Carla; Rossi, Gianfranco |
Mostrati risultati da 1 a 8 di 8
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