Sfoglia per Rivista RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS
Mostrati risultati da 1 a 6 di 6
A finite axiomatization of nondeterministic regular expressions
1999 R. DE NICOLA; F. CORRADINI; A. LABELLA
Cross-bifix-free sets generation via Motzkin paths
2016 Barcucci, Elena; Bilotta, Stefano; Pergola, Elisa; Pinzani, Renzo; Succi, Jonathan
Dynamic overloading with copy semantics in object-oriented languages: a formal account
2009 L. Bettini; S. Capecchi; B. Venneri
ON THE DISTRIBUTED DECISION-MAKING COMPLEXITY OF THE MINIMUM VERTEX COVER PROBLEM
1996 P. CRESCENZI; L. TREVISAN
Sequences from Fibonacci to Catalan: A combinatorial interpretation via Dyck paths
2024 Barcucci E.; Bernini A.; Pinzani R.
Sorting with a popqueue
2024 Cioni, Lapo; Ferrari, Luca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A finite axiomatization of nondeterministic regular expressions | 1999 | R. DE NICOLA; F. CORRADINI; A. LABELLA | |
Cross-bifix-free sets generation via Motzkin paths | 2016 | Barcucci, Elena; Bilotta, Stefano; Pergola, Elisa; Pinzani, Renzo; Succi, Jonathan | |
Dynamic overloading with copy semantics in object-oriented languages: a formal account | 2009 | L. Bettini; S. Capecchi; B. Venneri | |
ON THE DISTRIBUTED DECISION-MAKING COMPLEXITY OF THE MINIMUM VERTEX COVER PROBLEM | 1996 | P. CRESCENZI; L. TREVISAN | |
Sequences from Fibonacci to Catalan: A combinatorial interpretation via Dyck paths | 2024 | Barcucci E.; Bernini A.; Pinzani R. | |
Sorting with a popqueue | 2024 | Cioni, Lapo; Ferrari, Luca |
Mostrati risultati da 1 a 6 di 6
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