Sfoglia per Rivista ACTA INFORMATICA
Mostrati risultati da 1 a 3 di 3
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
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 | |
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 3 di 3
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