Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Tesi di dottorato

Mogavero, Fabio (2010) Logics in Computer Science. [Tesi di dottorato] (Unpublished)

Conference or Workshop Item

Bianco, Alessandro and Mogavero, Fabio and Murano, Aniello (2010) Graded Computation Tree Logic with Binary Coding. In: 19th EACSL Annual Conference on Computer Science Logic, CSL 2010, August 23 - 27, 2010, Brno Czech Republic.

Mogavero, Fabio and Murano, Aniello (2010) Relentful Strategic Reasoning in Alternating-Time Temporal Logic. In: 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR-16 2010, April 25 - May 1, 2010, Dakar, Senegal.

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.

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.

This list was generated on Sat Oct 19 22:51:44 2019 CEST.