On the Axiomatizability of Impossible Futures.

Taolue Chen Wan J. Fokkink Rob J. van Glabbeek

Published in: Log. Methods Comput. Sci. (2015)

Keyphrases

financial markets
data mining
decision making
video sequences
special case
lead time
unit commitment