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 not available from this repository. [error in script] [error in script]

Item Type:	Conference or Workshop Item (UNSPECIFIED)
Lingua:	English
Title:	Branching-Time Temporal Logics with Minimal Model Quantifiers
Creators:	Creators Email Mogavero, Fabio UNSPECIFIED Murano, Aniello UNSPECIFIED
Autore/i:	F. Mogavero, A. Murano
Date:	2009
Number of Pages:	0
Department:	Scienze fisiche
Event Title:	13th International Conference on Developments in Language Theory (DLT 2009)
Event Location:	Stuttgart, Germany
Event Dates:	June 30 - July 3, 2009
Title of Book:	Lecture Notes in Computer Science
Publisher:	Springer-Verlag
Date:	2009
Volume:	5583
Page Range:	pp. 396-409
Number of Pages:	0
Uncontrolled Keywords:	Branching-Time Temporal Logics, Model checking and Satisfiability, Minimal models Decision problems, Undecidability
Date Deposited:	18 Oct 2010 08:15
Last Modified:	30 Apr 2014 19:41
URI:	http://www.fedoa.unina.it/id/eprint/5453

Downloads

Actions (login required)

View Item