Autore:
Titolo:
Adventures in propositional interval temporal logics : ph. d. thesis / candidate: Guido Sciavicco ; supervisor: Angelo Montanari ; Valentin Goranko (co-supervisor) ; referee: Claudio Bettini [et al.]
Pubblicazione:
December 29, 2003.
Descrizione fisica:
1 v.
Note:
In testa al front.: Università degli studi di Udine, Dipartimento di matematica e informatica, dottorato di ricerca in informatica
Numero BNI:
BN 2007-3272T
Autori secondari:
Classe Dewey:
Classe MIUR:
INF/01 - Informatica
Tesi di dottorato. | Lingua: Inglese. | Paese: IT. | BID: BNI0024433
| Biblioteca | Inventario | Collocazione | Fruizione | status | |
|---|---|---|---|---|---|
| Biblioteca Nazionale Centrale - Firenze | TVD980603984 | TDR 2006 03984 | Lettura tesi in sede |
Documenti simili
- Intervals : logics, algorithms and games : ph.d. thesis / candidate: Nicola Vitacolonna ; supervisor: Angelo Montanari, Alberto Policriti Vitacolonna, Nicola
- Dividing and conquering the layered land : dottorato di ricerca in informatica : ph.d. thesis / Massimo Franceschet ; supervisor: Angelo Montanari ; Università degli studi di Udine, Dipartimento di matematica e informatica Franceschet, Massimo
- Automata for branching and layered temporal structures : ph. d. thesis / candidate: Gabriele Puppis ; supervisor: Angelo Montanari Puppis, Gabriele
- Local search techniques for scheduling problems : algorithms and software tools / Luca Di Gaspero ; supervisor: Andrea Schaerf Di_Gaspero, Luca
- Model checking for the concurrent constraint paradigm : ph. d. thesis / candidate: Alicia Villanueva Garcia ; supervisor: Maria Alpuente Frasnedo, Moreno Falaschi Villanueva García, Alicia
