Sfoglia per Rivista
Mostrati risultati da 1 a 4 di 4
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
2016-01-01 Aceto, L; Della Monica, D; Goranko, V; Ingólfsdóttir, A; Montanari, A; Sciavicco, G
Lifting non-finite axiomatizability results to extensions of process algebras
2010-01-01 Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R
On first-order runtime enforcement of branching-time properties
2023-01-01 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015).
2017-01-01 Aceto, L; de Frutos-Escrig, D
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases | 1-gen-2016 | Aceto, L; Della Monica, D; Goranko, V; Ingólfsdóttir, A; Montanari, A; Sciavicco, G | |
| Lifting non-finite axiomatizability results to extensions of process algebras | 1-gen-2010 | Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R | |
| On first-order runtime enforcement of branching-time properties | 1-gen-2023 | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna | |
| Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). | 1-gen-2017 | Aceto, L; de Frutos-Escrig, D |
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