BDD-Based Decision Procedures for Modal Logic [Kappa]: A Thesis Submitted in Partial Fulfillment of the Requirements for the Degree Master of Science: Rice University, Houston, Texas, March 2003

Shelfclass_id	4.B.3
Sortkey	PAN, GUOQIANG
Authors	Guoqiang Pan
Title	BDD-Based Decision Procedures for Modal Logic [Kappa]: A Thesis Submitted in Partial Fulfillment of the Requirements for the Degree Master of Science: Rice University, Houston, Texas, March 2003
Publisher	University Microfilms International
Year	2003
Languages	eng
Record date	20060713
Location	Ann Arbor