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)
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

Actions (login required)

View Item View Item