Branching-Time Temporal Logics with Minimal Model Quantifiers

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.

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, Model checking and Satisfiability, Minimal models Decision problems, Undecidability
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2009
Altri Autori:F. Mogavero, A. Murano
Editore:Springer-Verlag
Numero di pagine:0
Intervallo di pagina:pp. 396-409
Volume:5583
Dipartimento o Struttura:Dipartimento di 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
Numero di sistema:5453
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record