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.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Resource language: 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
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

Downloads per month over past year

Actions (login required)

View Item View Item