Sfoglia per Rivista RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS
Mostrati risultati da 1 a 4 di 4
A Finite Axiomatization of Nondeterministic Regular Expressions
1999-01-01 Corradini, Flavio; DE NICOLA, Rocco; Labella, A.
Formal methods to improve public administration business processes
2012-01-01 Polini, Andrea; Polzonetti, Alberto; Re, Barbara
The Helping Hierarchy.
2001-01-01 Cintioli, Patrizio; Silvestri, R.
Towards Parallelization of Concurrent Systems
1998-01-01 Corradini, Flavio; Gorrieri, R.; Marchignoli, D.
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A Finite Axiomatization of Nondeterministic Regular Expressions | 1-gen-1999 | Corradini, Flavio; DE NICOLA, Rocco; Labella, A. | Articolo | |
Formal methods to improve public administration business processes | 1-gen-2012 | Polini, Andrea; Polzonetti, Alberto; Re, Barbara | Articolo | |
The Helping Hierarchy. | 1-gen-2001 | Cintioli, Patrizio; Silvestri, R. | Articolo | |
Towards Parallelization of Concurrent Systems | 1-gen-1998 | Corradini, Flavio; Gorrieri, R.; Marchignoli, D. | Articolo |
Mostrati risultati da 1 a 4 di 4
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