DMCA

On the Axiomatizability of Impossible Futures: Preorder versus Equivalence (2008)

by Taolue Chen , Wan Fokkink
Citations:6 - 1 self