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