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 7 di 7
Titolo Data di pubblicazione Autore(i) File
Abstract canonical inference 1-gen-2007 Bonacina, Maria Paola; Nachum, Dershowitz
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing 1-gen-2017 Mastroeni, Isabella; Damiano, Zanardini
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 1-gen-2021 Martini, Simone; Masini, Andrea; Zorzi, Margherita
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 1-gen-2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Making Abstract Domains Condensing 1-gen-2005 Giacobazzi, Roberto; F., Ranzato; F., Scozzari
New results on rewrite-based satisfiability procedures 1-gen-2009 Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz
Proofs, tests and continuation passing style 1-gen-2009 S., Guerrini; Masini, Andrea
Mostrati risultati da 1 a 7 di 7
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