BDD-based decision procedures for the modal logic K

From Tetherless World Wiki

Jump to: navigation, search
 BDD-based decision procedures for the modal logic K
Has publishing details  16(1-2):169-208, 2006
Has title  BDD-based decision procedures for the modal logic K
Has where published  Journal of Applied Non-Classical Logics
Has year  2006
Has author  Guoqiang Pan +, Ulrike Sattler +, Moshe Y. Vardi +
Has identifier  DBLP:journals/jancl/PanSV06 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools