Bianco, Alessandro and Mogavero, Fabio and Murano, Aniello (2009) Graded Computation Tree Logic. In: TWENTY-FOURTH ANNUAL IEEE SYMPOSIUM ON LOGIC in COMPUTER SCIENCE (LICS 2009), 11-14 August 2009, Los Angeles, California.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Language: English
Title: Graded Computation Tree Logic
Creators:
CreatorsEmail
Bianco, AlessandroUNSPECIFIED
Mogavero, FabioUNSPECIFIED
Murano, AnielloUNSPECIFIED
Autor/s: A. Bianco, F. Mogavero, A. Murano
Date: 2009
Number of Pages: 0
Department: Scienze fisiche
Event Title: TWENTY-FOURTH ANNUAL IEEE SYMPOSIUM ON LOGIC in COMPUTER SCIENCE (LICS 2009)
Event Location: Los Angeles, California
Event Dates: 11-14 August 2009
Title of Book: TWENTY-FOURTH ANNUAL IEEE SYMPOSIUM ON Logic in Computer Science
Publisher: IEEE Computer Society Press
Date: 2009
Page Range: pp. 342-351
Number of Pages: 0
Uncontrolled Keywords: Branching-Time Temporal Logics, Alternating Tree Automata, Counting Quantifiers, Satisfiability
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5454

Actions (login required)

View Item View Item