Sfoglia per Rivista  ACM TRANSACTIONS ON COMPUTATIONAL LOGIC

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 1 a 8 di 8
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