Mogavero, Fabio and Murano, Aniello (2009) Branching-Time Temporal Logics with Minimal Model Quantifiers. In: 13th International Conference on Developments in Language Theory (DLT 2009), June 30 - July 3, 2009, Stuttgart, Germany.

Il contenuto (Full text) non è disponibile all'interno di questo archivio. [error in script] [error in script]

Tipologia del documento:	Contributo a Convegno o Workshop ([non definito])
Lingua:	English
Titolo:	Branching-Time Temporal Logics with Minimal Model Quantifiers
Autori:	Autore Email Mogavero, Fabio [non definito] Murano, Aniello [non definito]
Autore/i:	F. Mogavero, A. Murano
Data:	2009
Numero di pagine:	0
Dipartimento:	Scienze fisiche
Titolo dell'evento:	13th International Conference on Developments in Language Theory (DLT 2009)
Luogo dell'evento:	Stuttgart, Germany
Data dell'evento:	June 30 - July 3, 2009
Titolo dell'opera che contiene il documento:	Lecture Notes in Computer Science
Editore:	Springer-Verlag
Data:	2009
Volume:	5583
Intervallo di pagine:	pp. 396-409
Numero di pagine:	0
Parole chiave:	Branching-Time Temporal Logics, Model checking and Satisfiability, Minimal models Decision problems, Undecidability
Depositato il:	18 Ott 2010 08:15
Ultima modifica:	30 Apr 2014 19:41
URI:	http://www.fedoa.unina.it/id/eprint/5453

Downloads

Actions (login required)

Modifica documento