DMCA

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

by Taolue Chen , Wan Fokkink
Citations:7 - 2 self