DMCA

A general tableau method for propositional interval temporal logics: Theory and implementation (2006)

Cached

Download Links

by V. Goranko , A. Montanari , P. Sala , G. Sciavicco
Citations:12 - 9 self