Reasoning about strategies: On the satisfiability problem / Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.. - In: LOGICAL METHODS IN COMPUTER SCIENCE. - ISSN 1860-5974. - 13:1(2017). [10.23638/LMCS-13(1:9)2017]

Reasoning about strategies: On the satisfiability problem

Mogavero, Fabio
Membro del Collaboration Group
;
Murano, Aniello
Membro del Collaboration Group
;
Perelli, Giuseppe
Membro del Collaboration Group
;
2017

2017
Reasoning about strategies: On the satisfiability problem / Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.. - In: LOGICAL METHODS IN COMPUTER SCIENCE. - ISSN 1860-5974. - 13:1(2017). [10.23638/LMCS-13(1:9)2017]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/693915
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 46
  • ???jsp.display-item.citation.isi??? 26
social impact