Relating the PSPACE reasoning power of boolean programs and quantified boolean formulas
Series: Canadian theses = -- Thèses canadiennes
Publisher: National Library of Canada
Published: 2000
Place of publication: Ottawa
Language: eng
Format: Microform
Notes: Thesis (M.Sc.) -- University of Toronto, 2000.