Monotonicity has only a relative effect on the complexity of quantifier verification / Szymanik, J.; Zajenkowskiy, M.. - (2013), pp. 219-225. (Intervento presentato al convegno AC tenutosi a Amsterdam nel 2013).
Monotonicity has only a relative effect on the complexity of quantifier verification
Szymanik, J.;
2013-01-01
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