Sfoglia per Autore
Definable Sets in weak Presburger arithmetic
2007-01-01 C., Choffrut; Frigeri, Achille
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability
2010-01-01 Bersani, MARCELLO MARIA; Cavallaro, Luca; Frigeri, Achille; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Bounded Reachability for Temporal Logic over Constraint Systems
2010-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Codes and combinatorial structures from circular planar nearrings
2011-01-01 Benini, Anna; Frigeri, Achille; Morini, Fiorenza
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
2011-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Short 3-Collapsing Words over a 2-Letter Alphabet.
2011-01-01 Cherubini, Alessandra; Frigeri, Achille; B., Piochi
On some classes of 2D-languages and their relations
2011-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Cherubini, Alessandra
New designs from circular nearrings
2013-01-01 Morini, Fiorenza; Benini, Anna; Frigeri, Achille
BIB-Designs from Circular Nearrings
2013-01-01 Benini, Anna; Frigeri, Achille; Morini, Fiorenza
Expressiveness and complexity of regular pure two-dimensional context-free languages
2013-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Cherubini, Alessandra
Constraint LTL Satisfiability Checking without Automata
2014-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Fuzzy time in linear temporal logic
2014-01-01 Frigeri, Achille; Pasquale, Liliana; Spoletini, Paola
Composing short 3-compressing words on a 2-letter alphabet
2017-01-01 Cherubini, A.; Frigeri, A.; Liu, Z.
A Note on Fibonacci Numbers of Even Index
2018-01-01 Frigeri, A.
Missing factors of ideals and synchronizing automata
2019-01-01 Frigeri, A.; Rodaro, E.
Inverse semigroups with apartness
2019-01-01 Cherubini, A.; Frigeri, A.
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