Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 16 di 16
Titolo Data di pubblicazione Autore(i) File
Missing factors of ideals and synchronizing automata 1-gen-2019 Frigeri A.Rodaro E.
Inverse semigroups with apartness 1-gen-2019 A. CherubiniA. Frigeri
A Note on Fibonacci Numbers of Even Index 1-gen-2018 A. Frigeri
Composing short 3-compressing words on a 2-letter alphabet 1-gen-2017 A. CherubiniA. Frigeri +
Constraint LTL Satisfiability Checking without Automata 1-gen-2014 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Fuzzy time in linear temporal logic 1-gen-2014 Frigeri, AchillePasquale, LilianaSpoletini, Paola
Expressiveness and complexity of regular pure two-dimensional context-free languages 1-gen-2013 BERSANI, MARCELLO MARIAFRIGERI, ACHILLECHERUBINI, ALESSANDRA
BIB-Designs from Circular Nearrings 1-gen-2013 BENINI, ANNAFrigeri, Achille +
New designs from circular nearrings 1-gen-2013 Benini, AnnaFrigeri, Achille +
On some classes of 2D-languages and their relations 1-gen-2011 BERSANI, MARCELLO MARIAFRIGERI, ACHILLECHERUBINI, ALESSANDRA
Codes and combinatorial structures from circular planar nearrings 1-gen-2011 Benini, AnnaFrigeri, Achille +
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 1-gen-2011 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Short 3-Collapsing Words over a 2-Letter Alphabet. 1-gen-2011 CHERUBINI, ALESSANDRAFRIGERI, ACHILLE +
Bounded Reachability for Temporal Logic over Constraint Systems 1-gen-2010 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 1-gen-2010 BERSANI, MARCELLO MARIACAVALLARO, LUCAFRIGERI, ACHILLEPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Definable Sets in weak Presburger arithmetic 1-gen-2007 FRIGERI, ACHILLE +
Mostrati risultati da 1 a 16 di 16
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