|
|
|||
|
||||
OverviewFull Product DetailsAuthor: G. ZhangPublisher: Birkhauser Boston Inc Imprint: Birkhauser Boston Inc Edition: 1991 ed. Dimensions: Width: 15.50cm , Height: 1.70cm , Length: 23.50cm Weight: 1.250kg ISBN: 9780817635701ISBN 10: 081763570 Pages: 260 Publication Date: 01 January 1991 Audience: College/higher education , Professional and scholarly , Postgraduate, Research & Scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsI SFP Domains.- 1 Introduction.- 2 Prerequisites.- 3 A Representation of SFP.- 4 A Logic of SFP.- 5 A Mu-Calculus.- II Stable Domains.- 6 Categories.- 7 A Representation of DI.- 8 Stable Neighborhoods.- 9 Disjunctive Logics.- 10 Research Topics.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |