On modal logics of linear inequalities (2010)

by Clemens Kupke , Dirk Pattinson
Venue:Proc. AiML 2010
Citations:8 - 2 self