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 5 di 5
Titolo Data di pubblicazione Autore(i) File
Efficient generation of craig interpolants in satisfiability modulo theories 1-gen-2010 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 1-gen-2018 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 1-gen-2019 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
New results on rewrite-based satisfiability procedures 1-gen-2009 Armando, Alessandro; M. P., Bonacina; Ranise, Silvio; S., Schulz
Quantifier-free interpolation in combinations of equality interpolating theories 1-gen-2014 Bruttomesso, R.; Ghilardi, S.; Ranise, Silvio
Mostrati risultati da 1 a 5 di 5
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