Graded Computation Tree Logic with Binary Coding

BIANCO, ALESSANDRO and MOGAVERO, FABIO and MURANO, ANIELLO (2010) Graded Computation Tree Logic with Binary Coding. In: 19th EACSL Annual Conference on Computer Science Logic, CSL 2010, August 23 - 27, 2010, Brno Czech Republic.

Full text non disponibile da questo archivio.

Abstract

Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the branching-time temporal logic CTL (GCTL), in such a way that they can express statemen

Tipologia di documento:	Contributo in atti di congresso o conferenza (Non specificato)
Settori scientifico-disciplinari MIUR:	Non specificato
Stato del full text:	Accessibilità ristretta
Data:	2010
Altri Autori:	Alessandro Bianco, Fabio Mogavero, Aniello Murano
Editore:	Springer-Verlag
Numero di pagine:	0
Intervallo di pagina:	pp. 1-15
Volume:	LNCS
Dipartimento o Struttura:	Dipartimento di Scienze Fisiche
Titolo dell'evento:	19th EACSL Annual Conference on Computer Science Logic, CSL 2010
Luogo dell'Evento:	Brno Czech Republic
Data dell'evento:	August 23 - 27, 2010
Numero di sistema:	5390
Depositato il:	18 Ottobre 2010 10:14
Ultima modifica:	18 Ottobre 2010 10:14

Solo per gli Amministratori dell'archivio: edita il record