Graded Computation Tree Logic

BIANCO, ALESSANDRO and MOGAVERO, FABIO and MURANO, ANIELLO (2009) Graded Computation Tree Logic. In: TWENTY-FOURTH ANNUAL IEEE SYMPOSIUM ON LOGIC in COMPUTER SCIENCE (LICS 2009), 11-14 August 2009, Los Angeles, California.

Full text non disponibile da questo archivio.


Tipologia di documento:Contributo in atti di congresso o conferenza (Non specificato)
Parole chiave:Branching-Time Temporal Logics, Alternating Tree Automata, Counting Quantifiers, Satisfiability
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2009
Altri Autori:A. Bianco, F. Mogavero, A. Murano
Editore:IEEE Computer Society Press
Numero di pagine:0
Intervallo di pagina:pp. 342-351
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
Titolo dell'evento:TWENTY-FOURTH ANNUAL IEEE SYMPOSIUM ON LOGIC in COMPUTER SCIENCE (LICS 2009)
Luogo dell'Evento:Los Angeles, California
Data dell'evento:11-14 August 2009
Numero di sistema:5454
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record