DMCA

PITL2MONA: Implementing a decision procedure for propositional interval temporal logic (2004)

Cached

Download Links

by Rodolfo Gómez , Howard Bowman
Venue:Journal of Applied NonClassical Logics
Citations:2 - 1 self